{"entities":{"Q5956118":{"pageid":8132920,"ns":120,"title":"Item:Q5956118","lastrevid":47745676,"modified":"2026-01-02T14:22:42Z","type":"item","id":"Q5956118","labels":{"en":{"language":"en","value":"An algorithm for dual transformation in first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1708526"}},"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":"Q5956118$87008F54-EF60-45D8-AFE1-E91AC082C52F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fa9f6b2bfe31a9694b22177d2af7435179acb75","datavalue":{"value":{"text":"An algorithm for dual transformation in first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5956118$132B5E02-0819-4163-ADE0-60B9AB2F8B63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9a329e6884f6bd2420728551a961f5ed53102fa","datavalue":{"value":"0991.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956118$DDED9459-AB32-4466-B6F3-A552C0B12B89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a70f58d88780ec6e4b407623bad6bcdec5e17465","datavalue":{"value":"10.1023/A:1011917032470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956118$D28EF054-62A0-4B30-A852-A921AD8742B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d870e2473d5345f6db48a851f63c5c8e373e7d2","datavalue":{"value":{"entity-type":"item","numeric-id":230816,"id":"Q230816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956118$5765247D-FE12-4537-B89E-5C7F89D789A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77cc5d8ccfc73187204949e22dee71ea8727e809","datavalue":{"value":{"entity-type":"item","numeric-id":230817,"id":"Q230817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956118$B1EE4B35-6CFD-41A1-951E-CEECBDCB89D3","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":"Q5956118$FDF165FE-9271-4249-BCFB-A9E5B7EB3C66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bd22e9bdafff3cc4af9c050513c24081452898e","datavalue":{"value":{"time":"+2002-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5956118$0BF84309-CDB7-4CAE-969C-5BF2EB0F3734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956118$9B286DED-2A5B-4559-9672-5E54A6C6FB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956118$E191F81D-D2EE-41DD-A72E-9F64EAA3EB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956118$B0304824-FF28-44E9-AE7B-F80C91F6E240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94ef3f44f8be684b3e67ffe2d77d53c4dd260d41","datavalue":{"value":"1708526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956118$1C790C6C-C296-4492-8623-AB53DD8DB713","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3d005f48a359823cd02283a3ea8303cf497bb01","datavalue":{"value":"dual transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956118$B27920BF-37DC-4617-A65E-8A49E61C5A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70dd90f287bb3fff5eaf7bcd5bea437d60013e8","datavalue":{"value":"transformation between conjunctive and disjunctive canonical forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956118$3B88D8F1-8AB2-4194-AD2F-F7F212A6AB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956118$44215BBE-DADC-46BD-8F9B-714E381B921D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c85715316da07b47af8021e36cec414820c4f7","datavalue":{"value":"concurrent algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956118$40F193EA-BD36-4499-8E2D-7BFB6C64691E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956118$0B20BC9D-5743-4A2C-A8EC-E16A16FCC042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956118$DAB8FDBB-F4A2-4680-85D1-3DA241EF5371","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8f057223c758d6b8295ecbdef4842faac2ccb72","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956118$EABB0FDD-EFA6-469C-B7D5-D140707E738B","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":"Q5956118$19CD68C2-86A8-4488-BA84-75A32450D2C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10022cbff43848d9869591fe0e96f4d5493fce8a","datavalue":{"value":{"entity-type":"item","numeric-id":4222184,"id":"Q4222184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1ef606db755f430fbd9b206b57807047439820","datavalue":{"value":{"amount":"+0.8189632296562195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956118$02BA616F-CA71-4F58-B5B1-AF1BD52EC374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610ff485f0e9059add06bbfef9822b1971af8666","datavalue":{"value":{"entity-type":"item","numeric-id":3332284,"id":"Q3332284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0782c0ac8bafa9c91bc7dfd49aa3485fd0efe4f","datavalue":{"value":{"amount":"+0.7250024676322937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956118$234C0761-554B-4CA2-8A5D-9CE3391BFD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7f3731b78075daa894e98fe63ef686e3b32a9c","datavalue":{"value":{"entity-type":"item","numeric-id":809622,"id":"Q809622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f5161cd3efcf7b66ee7c883a94d6ec946de272","datavalue":{"value":{"amount":"+0.724757969379425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956118$3A30B17F-2FD6-4256-BF08-A16BB1B603E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ed6113f1c0f28cdac379966e65a1421c2d31311","datavalue":{"value":{"entity-type":"item","numeric-id":4202114,"id":"Q4202114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b425777500641d3549ee5b2471a0525c12ecb0","datavalue":{"value":{"amount":"+0.7148584127426147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956118$EEAF72BD-6955-4027-952C-07425634D384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4e9583ebc162d69faba3543acdc9a631f01160","datavalue":{"value":{"entity-type":"item","numeric-id":4471941,"id":"Q4471941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c513fa539e67dc37857109e1144f580a61d1be8","datavalue":{"value":{"amount":"+0.713376522064209","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956118$333EC873-E198-4061-B405-7F8EEC7B7E12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5956118","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5956118"}}}}}