{"entities":{"Q1181707":{"pageid":1192456,"ns":120,"title":"Item:Q1181707","lastrevid":67050117,"modified":"2026-04-12T14:35:32Z","type":"item","id":"Q1181707","labels":{"en":{"language":"en","value":"Algorithms for finding matrix models of propositional calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 28713"}},"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":"Q1181707$BB0689B1-8D0F-4F65-BDF0-60B5BB3643ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ece5b3c2a8a988358500831e5deb9c0737461b52","datavalue":{"value":{"text":"Algorithms for finding matrix models of propositional calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1181707$82469A57-2354-451A-B92C-D4B1FDFD1469","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb69959b8f69febc92e456c9c5bd1add9135f980","datavalue":{"value":"0743.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181707$1B757313-C5F3-465C-87B5-D4D2EA8CBFE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f19ad63aa17ee13d5ebb51543607d2932beea161","datavalue":{"value":"10.1007/BF01880325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181707$0927F44F-A058-4DC0-AA7E-1A62B4E6966E","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":"Q1181707$46CA997E-6CC0-4A69-B4BA-27BB3BCEBBE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1181707$690B46CE-9CA9-4F89-9C10-0C14DAB4C555","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181707$6A36B38F-CFE6-470E-BBF3-135A7EDA8857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181707$91B5AA5F-44CE-428D-851A-CAAD10C2F629","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc463a83f8ce04c084340840183b451dde907601","datavalue":{"value":"28713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181707$3D7EF535-E2E1-43DF-AD67-43435AAEB70E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a38cdd6130f92d3b40313471048ade822db196","datavalue":{"value":"matrix models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181707$B4ACA5D3-DD55-46C6-8FF4-C2D4E52C4456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181707$F46B86F6-479A-4602-9637-42C0C5B87C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181707$DB8786A5-6D4A-464B-B6D0-09E6E75F19BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a024c26ba3d8945d8ac231e253f89f2deff97652","datavalue":{"value":"refutation-driven backtracking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181707$559A76E5-44E4-420F-A17D-1708363588FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2547fe05fc38d862a3c0fa5dd3d72d33319bce3","datavalue":{"value":"computational experience","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181707$B4913B7C-C30A-4363-B086-B8E12BD2D1C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"953fb4a1c128c74ace476ecc36bd765c41133e9f","datavalue":{"value":{"entity-type":"item","numeric-id":1055462,"id":"Q1055462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181707$4AB67A51-9854-48ED-AA59-42AD1FBC125A","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":"Q1181707$7BCA9861-4B9B-415D-A922-FEDEAE22CAB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4a0c107773baf4c7b30e2c05565087fb2ff673","datavalue":{"value":{"entity-type":"item","numeric-id":5452362,"id":"Q5452362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181707$468D7BB1-F8C6-4D5C-8DFC-0BA8ED8B9357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181707$18A872D4-5DA3-4914-BB1E-8CCA2D14A8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f09784e66cbfa5d01e956d9cb3f364fd76897f","datavalue":{"value":{"entity-type":"item","numeric-id":4117807,"id":"Q4117807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181707$8F6920D3-EE86-42A9-A620-BAA8D3026547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94a720cc6fd9b524b4f881dc7926193f92fa197","datavalue":{"value":{"entity-type":"item","numeric-id":5582301,"id":"Q5582301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181707$CFA6C2D5-AF45-4EE1-9E36-E77D0AC27242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec32d794ba6698cbb925c5d9b5f74e4585478e3","datavalue":{"value":{"entity-type":"item","numeric-id":5798017,"id":"Q5798017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181707$49052938-47D9-453F-A1C6-3AAF0FECBE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f090052be79cdadabc39469172831b15b4e212b","datavalue":{"value":{"entity-type":"item","numeric-id":5816100,"id":"Q5816100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181707$1550737A-F122-411A-948A-B9E17E719498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9604ef48a1d072ae091be88fc8054aaae48333ee","datavalue":{"value":{"entity-type":"item","numeric-id":5809228,"id":"Q5809228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181707$3B2F5F0D-BE0B-49DF-BA53-6397A12F6319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b7c726ccdabd08aa477df427e22657b31e7ac","datavalue":{"value":{"entity-type":"item","numeric-id":5829788,"id":"Q5829788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181707$CDCB7FBF-DEB5-4ABC-B2D7-61D5ADFC5E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bad02d802f98c584b905e9a5a5f372d341f4de8","datavalue":{"value":{"entity-type":"item","numeric-id":3695256,"id":"Q3695256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181707$3CA6ED1E-BD80-4E2C-9E38-435B94260F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a21243111cda15893417183dd35870b92788e3","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181707$DA880560-B06A-4C28-AB17-89C323F9C35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b94d8e95b657521438e10a6ec50de8ec940407","datavalue":{"value":{"entity-type":"item","numeric-id":1101104,"id":"Q1101104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181707$73F54819-4BF3-4940-8167-72791C943F74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e0112c1b2e21f76aeca1b5b7879e7536f302806","datavalue":{"value":"https://doi.org/10.1007/bf01880325","type":"string"},"datatype":"url"},"type":"statement","id":"Q1181707$B5D2A5F1-DF61-46A4-A83D-0928BE7115D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49f0ca12b12d8ff88d5f303471d596563c6e1ce5","datavalue":{"value":"W1994010814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181707$4979D9AD-72EE-4024-A8A9-CAEA915F1221","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f85cab7ec205143ce2f8ee75b12a25bbb9e3ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4366155,"id":"Q4366155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524f0d19195a21a426ea41352a97bd999a66b98d","datavalue":{"value":{"amount":"+0.830401599407196","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":"Q1181707$31245843-21E4-4950-99DE-6D946D27064C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84438d5aed8c29b1d3f94ee74c7d97904996eca","datavalue":{"value":{"entity-type":"item","numeric-id":3789523,"id":"Q3789523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b1cd5136320c31ad6ec2049f718a3ddd6a0824","datavalue":{"value":{"amount":"+0.8084419369697571","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":"Q1181707$C635ECE0-B571-47EA-B63D-48CC1F75D1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d171749b95c3772aae8ba8502515039aa10c706","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63f96c73327f5bc805b0d82e167821f86ca1398","datavalue":{"value":{"amount":"+0.767862856388092","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":"Q1181707$37959CC7-074E-49B9-A0DB-1E504A42D4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e476e8b83f9585570206cefe1255d6663a8fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3745826,"id":"Q3745826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2afba808e64f0e68fae1c394fa3d769325411a4","datavalue":{"value":{"amount":"+0.7649412155151367","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":"Q1181707$19762526-77D7-403B-8FDD-260EF22540BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms for finding matrix models of propositional calculi","badges":[]}}}}}