{"entities":{"Q673674":{"pageid":675523,"ns":120,"title":"Item:Q673674","lastrevid":63611055,"modified":"2026-04-11T14:20:13Z","type":"item","id":"Q673674","labels":{"en":{"language":"en","value":"Unique Horn renaming and Unique 2-Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985700"}},"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":"Q673674$9F372FD8-F2EE-4A09-921E-557299101DFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e8b8b4f69b0b7818e0ba55d0f2f711066240d98","datavalue":{"value":{"text":"Unique Horn renaming and Unique 2-Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673674$965D0FAE-6AD0-4C33-B685-7642254AFFCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14d47658a9b17073fdeffee23bea0151a9b39f6a","datavalue":{"value":"0875.68454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673674$C64682DD-6B4B-4570-A65D-B9F2EF412BB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f89bff52b72a8b9739b95cf5fec21cefe0bdd39a","datavalue":{"value":"10.1016/0020-0190(95)00023-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673674$CE38B4B4-8091-4AC9-B92D-3875F7546990","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4081c4099f10e356714bb1c9f339658626e1bdda","datavalue":{"value":{"entity-type":"item","numeric-id":673673,"id":"Q673673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673674$CD7C3283-55C1-40A7-8A53-C62180370654","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673674$21D91F41-FC91-4DCD-822A-04EFA38B5F66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673674$FF04C8E4-0D4B-4168-9DA4-196E425E0747","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673674$52EB773E-2D98-411E-842E-F603BDEA838F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfc3e347a88c1c934b1e574d75553babaecad99f","datavalue":{"value":"985700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673674$00EE5AF4-879D-44ED-A558-30786ED512BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8baf804bc4c1172cd32c9cc96b06a8c070f11c0c","datavalue":{"value":"Algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q673674$25ECCE01-9FBA-4FE2-9AD2-65532F48A745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0317cb9e188988bc330bb581a6d83ed957b47d10","datavalue":{"value":"Horn sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q673674$AA9E5E7C-D386-4E62-9D4B-35C0FFC6524A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41eed54fd93add746c226a3a01261bbe1bc6b508","datavalue":{"value":"Renaming","type":"string"},"datatype":"string"},"type":"statement","id":"Q673674$BEEC1202-40A4-4157-BD01-802930DAFE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95393006136a65861f345d17e00540c09d9d258","datavalue":{"value":"Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q673674$CBEE37D9-675F-4486-AF50-D4820CD06838","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":"Q673674$853796E5-8653-43E0-A589-4DBFBD154514","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fa24b7454bc845b39e1d694ce40be337dd18c90","datavalue":{"value":"https://doi.org/10.1016/0020-0190(95)00023-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q673674$382B029C-3D95-40C9-B728-760F7064DC1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6616c19c06b97576f024709ca409d525493ab13f","datavalue":{"value":"W2023908149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673674$5DC8B239-2B82-435C-8998-DC3575B59C83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b5b0535e606fd0713aa3bc3ecec575e7f5e28b","datavalue":{"value":{"entity-type":"item","numeric-id":3898029,"id":"Q3898029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673674$F6F03500-BBB4-4CBD-8BB2-DDC99DA88C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c317ee9b89d25866849eff84487be5a7c7991b60","datavalue":{"value":{"entity-type":"item","numeric-id":3331209,"id":"Q3331209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673674$005102D8-A602-414B-9BB9-20D807620ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46599fad5219aa3aa37e01866121623c89c30ae4","datavalue":{"value":{"entity-type":"item","numeric-id":1356207,"id":"Q1356207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673674$F8DAD19B-AD48-41B8-83A8-855553A8023E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673674$AA6938E3-DE6A-44CE-AE67-4C3F5266ACBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748bf33ba602859407d9edfbecdae7679fd8b2ae","datavalue":{"value":{"entity-type":"item","numeric-id":3983122,"id":"Q3983122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673674$AF927FC9-FD99-4F8D-9B5D-5FD52D414CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05666343bfd0892ca2f08d23cb08dec3f97399d","datavalue":{"value":{"entity-type":"item","numeric-id":1070255,"id":"Q1070255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673674$1D0C8857-E8E5-4721-A344-8C7C5CBAF8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdd859bc354d1d544f6cca6d0daad719399caf9","datavalue":{"value":{"entity-type":"item","numeric-id":1318709,"id":"Q1318709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673674$83587A1A-8494-4B51-A8D3-80BDC95458AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea3c556c46f939fb0e417a255e8185e9be95a73","datavalue":{"value":{"entity-type":"item","numeric-id":917333,"id":"Q917333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673674$32EFD70F-B162-4FE2-958E-57DFEE8F3843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e59c111d12cf14599d3ca95b269f4dfc54948","datavalue":{"value":{"entity-type":"item","numeric-id":4140416,"id":"Q4140416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673674$9578564E-6DED-46C9-9FCC-26A8C2F8FB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00aec1559420ddc0181d45daf70e744cb40fa574","datavalue":{"value":{"entity-type":"item","numeric-id":1313762,"id":"Q1313762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673674$FCC1B5E4-C641-4AFD-99DC-8314320CA467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673674$D1EC4BA3-92DA-4937-B1EF-4D6C6DCC244E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e64f21626ac8f80203f58aa25446b4e13cdc45a1","datavalue":{"value":{"entity-type":"item","numeric-id":1313762,"id":"Q1313762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942511334a59d404a6fbf7caf890b08e92089db3","datavalue":{"value":{"amount":"+0.85550934","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":"Q673674$A8499AA3-D3AC-4D48-ACCB-79D3090493D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d99c39e4a60a3272e2f4342211f082563accbf","datavalue":{"value":{"entity-type":"item","numeric-id":1353999,"id":"Q1353999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ab41b76991a5baa0d1d461fe7dd43bc016984e","datavalue":{"value":{"amount":"+0.8541932","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":"Q673674$5D1B47C1-A2F4-46DB-AEB6-8214C5378849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ac40b7bb042c9e5e5a2c39459b6e49996d5ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1894352,"id":"Q1894352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c87d398725fb423c90e5509d40fd8b31b6cafe78","datavalue":{"value":{"amount":"+0.8506001","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":"Q673674$B91924BC-5E45-4C0C-A4BC-35041F3296B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed0229637ce326ee3bd699833a8dad482880a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1777396,"id":"Q1777396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6a81cd16b105c34c9d2e58dccc3003ed5c2d40","datavalue":{"value":{"amount":"+0.8453131","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":"Q673674$373C2456-C3A1-43F9-8AEA-3859F786399A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9cabc5015d2b58d0dd4a796b6ae33e8594e3e15","datavalue":{"value":{"entity-type":"item","numeric-id":3331209,"id":"Q3331209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d66185ed1afb42c635b21047cb14c27853596984","datavalue":{"value":{"amount":"+0.8435569","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":"Q673674$3B8F2865-A03E-4D13-99D4-C85B26AC91B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ac0c0f3ed50c61fe3a7e71bb9cf2bfac5335cf","datavalue":{"value":{"entity-type":"item","numeric-id":3971264,"id":"Q3971264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538635e98b66ad412f0b68db4fb08a5eb0ac9590","datavalue":{"value":{"amount":"+0.8349097","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":"Q673674$38B4473B-47CB-489F-9A08-F148C7824BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338de19596ba0403b6eb89595bcc0662a53e8786","datavalue":{"value":{"entity-type":"item","numeric-id":4019963,"id":"Q4019963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528fbc77673789ec8d62ce866b0167c6ea141333","datavalue":{"value":{"amount":"+0.834167","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":"Q673674$5848658C-65ED-495F-A470-8CC251FB7E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c334dc054d23aefcd23e9dddd5243131b09071a4","datavalue":{"value":{"entity-type":"item","numeric-id":5184426,"id":"Q5184426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc289246f003a91f39fbb23bdc071e8034b5cb92","datavalue":{"value":{"amount":"+0.83273864","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":"Q673674$4C0E09B0-1C63-4295-845C-0C5998C0DB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e401010a16cae18ee5b263f9625fbd07cf6ee2f","datavalue":{"value":{"entity-type":"item","numeric-id":1120278,"id":"Q1120278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc6ead70fbb478de7a48b466726d1dca403241e7","datavalue":{"value":{"amount":"+0.82883364","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":"Q673674$DCA1E1E7-C725-4382-A486-BCBEA1B0AA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47f218630e3a65921925fa215162a48c4394e4f","datavalue":{"value":{"entity-type":"item","numeric-id":997066,"id":"Q997066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257118018c08852b2e84a688ea1782a4c052fa75","datavalue":{"value":{"amount":"+0.8257742","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":"Q673674$9EA271AE-317B-4491-8C68-D7EBFFC940FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unique Horn renaming and Unique 2-Satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unique_Horn_renaming_and_Unique_2-Satisfiability"}}}}}