{"entities":{"Q1114446":{"pageid":1125195,"ns":120,"title":"Item:Q1114446","lastrevid":66157794,"modified":"2026-04-12T07:56:25Z","type":"item","id":"Q1114446","labels":{"en":{"language":"en","value":"A Prolog technology theorem prover: Implementation by an extended Prolog compiler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083033"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$5A206D03-10FD-4BA9-9290-8E91600ABCAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49b3d0dedd6fb170e4078fe4bb8ecf977bf3bc91","datavalue":{"value":{"text":"A Prolog technology theorem prover: Implementation by an extended Prolog compiler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114446$2D347534-8BA2-4E72-BC6A-ACCEA60B809C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58434c3fd2b9ff5667150ae7ce43e027a3f2e44f","datavalue":{"value":"0662.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114446$841F636E-604C-42DE-AF5C-C4A1692A0137","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02f3eaa4d97f09bdb860ae0065b72c15fced0ad1","datavalue":{"value":"10.1007/BF00297245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114446$06991C10-5E25-494A-A0EF-EB1DEB3794F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"586ab04ae742da0d5be5693eb9382676e10f577c","datavalue":{"value":{"entity-type":"item","numeric-id":1101258,"id":"Q1101258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$A8F44035-09D4-4D30-A3BA-867CD9883F0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$FB8FB418-6C17-4368-B014-8186559753F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1114446$0E24C267-538B-416C-A61D-E906CD70DAF0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e0595d18e8358058f3903ef53967bcd57692f36","datavalue":{"value":"The author exposes interesting ideas and experiments concerning a Prolog technology theorem prover (PTTP). The goal and the author's option are to ``establish a new standard of performance for theorem proving programs''. The PTTP implementation is an extended Prolog-to-Lisp compiler, written in Common Lisp for Symbolics 3600 LISP machine. In order to obtain a complete theorem prover there are examined the extensions of the classical Prolog features towards: (1) a sound (occurs check) unification; (2) a complete inference system, by adding the reduction rule to the model elimination procedure; (3) a complete search strategy, extending the unbounded depth-first search to the depth-first iterative- deepening search (which, among the advantages, can be naturally parallelized).    Current and forthcoming PTTP refinements are discussed. The behaviour of the PTTP compiler when running some concrete examples is exposed. The (very promising) performances of PTTP on a set of 95 problems are presented in detail on a two pages tableau (containing the number of clauses, depth of proof, number of inferences, run time). Important similar approaches are compared and referred. The paper represents a guiding report on outstanding work and results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114446$4463399A-2D33-4AED-8023-DD39844FE77E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114446$C991BE42-EE46-41AD-A1E8-1221361FB950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114446$942F060D-6DA0-4D52-9042-1DEE7060FDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114446$48C7CB24-F3F9-4922-B95D-5B4A67E02932","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36059d391568a4dc5b9e0401e39ed7dcdeae37c3","datavalue":{"value":"4083033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114446$DD433CB5-1D21-420D-8C5F-37BEDE445825","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114446$EA583EFC-B0DD-439B-A66B-745761E2961D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114446$A7B4C789-CE41-4FA4-8F96-C116939393C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901c6d511d35303a6a968c1174234f4350020c8b","datavalue":{"value":"compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114446$EB613347-9E88-40FF-94E7-069116DD4DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd9e772e4fa1214eccb3acf01f42fae05bb20e87","datavalue":{"value":"model elimination procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114446$66173E52-7E65-47EB-B22D-70A4F4DEF9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff7bf11626141f10491819543bc6e69eb57efdf3","datavalue":{"value":"depth-first search","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114446$26A2B442-7787-4745-B265-6C4D680A006B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8f2ccc35abd6c98f2bf210921a2c95461eb878c8","datavalue":{"value":"Q56059054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114446$CB35828C-1390-415C-993D-A2048A78FFC2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ddfe26001cac27b44f73ee317c958b41c5d4e225","datavalue":{"value":{"entity-type":"item","numeric-id":585901,"id":"Q585901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$60B7CE48-255A-4FD9-A7A3-78B87457223D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$AAD29206-3332-49FE-A9DF-36F5F61CCD03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$18506B31-0FDF-4BBC-909B-C266A89CF2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2c2b382c3725436e250ac6e5f951d42a292c14","datavalue":{"value":{"entity-type":"item","numeric-id":3954845,"id":"Q3954845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$58C2E33B-23F4-441A-BFBC-83948F8E47DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84dda87a3627de3323fc470cdfe32d5099f286b7","datavalue":{"value":{"entity-type":"item","numeric-id":3750137,"id":"Q3750137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$DED83E4D-AA73-440F-AACD-870139D85819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf4bd6f65936497199af77b410cbe7fc34d2615","datavalue":{"value":{"entity-type":"item","numeric-id":5663380,"id":"Q5663380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$81F1F4A5-2855-487E-BBC8-AE3F3D48DED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$FD122C72-44B5-4DAC-BCEE-FA7B553B9271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a80969bb580420f8ecd201d1cbd7dbd33d4faa0","datavalue":{"value":{"entity-type":"item","numeric-id":4770008,"id":"Q4770008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$4BCCAEDC-4BE2-4F9D-B6E0-ED268C7F7E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f0b5c5d1ef7da893967c1b74defc4984f71dee","datavalue":{"value":{"entity-type":"item","numeric-id":1062761,"id":"Q1062761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$627665E4-D04C-4F45-8EA0-587E4AA983DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$949A2C44-C38E-4681-9EFB-17A394B13E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"848902f3938e3f0df5f79bec602f78dff3b385cd","datavalue":{"value":{"entity-type":"item","numeric-id":1230669,"id":"Q1230669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$D3E860F2-1D37-4700-9615-7054D9695587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8586c92c4d90a06cb521bef03111f958a597fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":5574714,"id":"Q5574714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$336C124C-6306-4847-B2DF-DAE5DC833BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$26211497-0F97-4813-B6E2-324C8D707E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccb4de56387628febe8bd1d61517a526b8b6401","datavalue":{"value":{"entity-type":"item","numeric-id":4088307,"id":"Q4088307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$3576CF3D-A9B5-4179-A4EC-09B5E41599F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43dddbaf5c4f9e9ee266c77f660b52f01e365b4d","datavalue":{"value":{"entity-type":"item","numeric-id":5672217,"id":"Q5672217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$2EC630B9-4431-47DC-9490-ED0F6902E2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c8227370b23a709289df885ca01c57567c658f","datavalue":{"value":{"entity-type":"item","numeric-id":3856120,"id":"Q3856120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$9F4202FB-F7A6-4790-886E-E5586DF2365C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0001ddf29143e230db9061e7c9cfd72aed8db985","datavalue":{"value":{"entity-type":"item","numeric-id":1170894,"id":"Q1170894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$6303D7C9-35A2-45CF-A21F-8B8A36BDA1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43919d1f4da3b9a07eea3d230b3f18d880d5940","datavalue":{"value":{"entity-type":"item","numeric-id":1116717,"id":"Q1116717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$980751CB-1BEB-49A7-81E1-1A500D32D526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bd4f24e8eb1a084ca4ac4963d45f487b7e5bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1226867,"id":"Q1226867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$810E69DE-4648-43C5-BF35-7D47928CBDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75089528348e2ee7d07dc2ae126b0ed3005ed24","datavalue":{"value":{"entity-type":"item","numeric-id":4096460,"id":"Q4096460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114446$36A89862-1C1C-4E8E-AE17-D8C0D4228A65","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"f65a35b13eb9ef3e9b9853dc4222a550b12d8c13","datavalue":{"value":"journals/jar/Stickel88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114446$89DB31AB-8D06-4523-B6C5-760F2FF23BB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0456405130c3ea41f3a066f024f9d673ca3d1ec2","datavalue":{"value":{"entity-type":"item","numeric-id":3750142,"id":"Q3750142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114446$936E3DB4-4293-4595-9EEE-A90910E6FFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a6304270c2bf4f17207eb0a8fefd9c3b7ff402","datavalue":{"value":{"entity-type":"item","numeric-id":1199932,"id":"Q1199932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57074c402f61fb79c73959734fe50767b268a71","datavalue":{"value":{"amount":"+0.9703337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114446$95287D51-B85A-40E6-840D-270B32AB8632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3cc3b3ee4f98cbf7948d48e3f76892dc00ca3b","datavalue":{"value":{"entity-type":"item","numeric-id":6488542,"id":"Q6488542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2696c03f96569417834432f01c6c4bd3d9679365","datavalue":{"value":{"amount":"+0.9367528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114446$FA004AC2-3CE0-4B58-BCEA-357104FD2E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c5f233ca926f1a62c348c2b87ac01224938c597","datavalue":{"value":{"entity-type":"item","numeric-id":1275596,"id":"Q1275596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3f3148f46d5258a7add2bd5e40ec3ab4a9ca20","datavalue":{"value":{"amount":"+0.9043346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114446$3D177ECF-D01E-4328-ACAD-0D5825878137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c791a281cb97f86a3414315ed7b9b81a743f25","datavalue":{"value":{"entity-type":"item","numeric-id":5053009,"id":"Q5053009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59d50e5ec0e693423a8f9b502fadd529870ee83","datavalue":{"value":{"amount":"+0.89980567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114446$550A6328-CEE0-4024-8C5B-7D2C1A7A3AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5323e680a7c6c14f0810023060c0fa576c7a95","datavalue":{"value":{"entity-type":"item","numeric-id":4911140,"id":"Q4911140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f145c3424b964922457768d71a20c5e076affc26","datavalue":{"value":{"amount":"+0.8949322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114446$ABAA846C-418E-4233-95E5-B771E87A0D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8aa88f960b08160c56495dd31aafe873551353","datavalue":{"value":{"entity-type":"item","numeric-id":3732983,"id":"Q3732983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fc60893aa757aec2f7329341512804d8099536","datavalue":{"value":{"amount":"+0.8908275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114446$7901C007-2D27-4750-8D82-6DD5261D3757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116ae40af25df1caab31ce7865056cc8623f9e19","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94871337f2110d35576360caf9217838c814cd39","datavalue":{"value":{"amount":"+0.8873011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114446$BAEE752C-E182-4658-A8A8-E31889B396B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d188b1150b762f3fef3bd2e99032e5abd352fb4","datavalue":{"value":{"entity-type":"item","numeric-id":4945207,"id":"Q4945207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f3c6586f020ed50d38ff9d51db896be907451e","datavalue":{"value":{"amount":"+0.88145983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114446$011B6FBE-AA31-4ED6-B12D-050C766E8927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8139328ea45d0f5f4bbb53ec8e07615b518a5b98","datavalue":{"value":{"entity-type":"item","numeric-id":3578399,"id":"Q3578399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3751630527ecfa4937adc08ec3786a660cfc0fc5","datavalue":{"value":{"amount":"+0.87987673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114446$BC618195-4D80-41C8-9602-AE3DCB28C1AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Prolog technology theorem prover: Implementation by an extended Prolog compiler","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Prolog_technology_theorem_prover:_Implementation_by_an_extended_Prolog_compiler"}}}}}