{"entities":{"Q3873862":{"pageid":5903767,"ns":120,"title":"Item:Q3873862","lastrevid":87760073,"modified":"2026-06-04T12:36:03Z","type":"item","id":"Q3873862","labels":{"en":{"language":"en","value":"Continuous-Valued Binary Decision Procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3677513"}},"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":"Q3873862$68B4C0E5-9FCD-43E0-9417-9D55F0039501","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e8948e4aac7df9905e434a5b410e60f55165c62","datavalue":{"value":{"text":"Continuous-Valued Binary Decision Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3873862$581D9806-7060-4B26-9011-60D6CDD253C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45700e033fb4066ee940859869b81645153784fd","datavalue":{"value":"0434.90012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3873862$4C4235A3-AFE5-453E-8EE2-82B664EBA932","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"337388eac557056d62fb10bd7922f63b8484fe9d","datavalue":{"value":"10.2307/2296944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3873862$E142454C-FBDF-4FAD-A891-36D592FACAC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e69998b3dc454c2d2b2d115aeba55e80d6b6259b","datavalue":{"value":{"entity-type":"item","numeric-id":598979,"id":"Q598979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3873862$262D3D48-3ABF-478B-9BD8-D7A36FCF6A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f8bdd195b0aa4e2eb661d9560ea6b6c23e9f90c","datavalue":{"value":{"entity-type":"item","numeric-id":1235650,"id":"Q1235650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3873862$BC667793-367B-44B4-9E2A-61F17F572CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e0e9edb1481c2bbd7c7b8ce2052a7fae874ccc","datavalue":{"value":{"entity-type":"item","numeric-id":189137,"id":"Q189137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3873862$4D44580B-EBE1-4EC1-A122-C220E9C98FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b797b2d9ec478aea77477f3b51d639659a67b44","datavalue":{"value":{"entity-type":"item","numeric-id":794890,"id":"Q794890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3873862$E28D977F-C292-483C-B889-86235FB70C12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3873862$1C209103-646A-4766-94DE-071135B12C58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"534fcf0eab000116abb6ab2529cb1fffc24f4dac","datavalue":{"value":"https://resolver.caltech.edu/CaltechAUTHORS:20171020-153538132","type":"string"},"datatype":"url"},"type":"statement","id":"Q3873862$643EEF82-6033-43FF-B93F-9E9C13A5BE1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3873862$EA706805-EE3A-4421-BC21-32D3DA7D5E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bc7eb0f462deb89a5bf6af1abf9a96ba13c81d67","datavalue":{"value":"91A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3873862$C5D6BF4D-9425-4FBC-AA51-1667C2FDEF0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d35d72413954071d09464726bd005e110693109f","datavalue":{"value":"3677513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3873862$BF8BC1B0-5BDB-45A9-894E-E02CBEC3EC8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5494d58460aef85e8f460b0c5aaf1d29f7eb569f","datavalue":{"value":"social choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3873862$A3FC41F2-C2D7-48C4-AEC6-8BD4987D0EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4963f918703502e6d2738f56673bb5ab9c9b02d","datavalue":{"value":"locally simple decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3873862$74726F59-9FB3-4434-B461-5F86C3889B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5886f86ce5fc9c4fb9669ccaee5b781116a19c2e","datavalue":{"value":"sufficient conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3873862$238AE076-34C3-41F3-B963-CC165F184DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6460b3c8d1b596dfa21c612e4b1c40c18dcc56b","datavalue":{"value":"binary decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3873862$990750B5-2E8B-4B57-9434-315E9CF7F86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93292e7ae22ef51484d1c362d986aa531f2d1a40","datavalue":{"value":"simple game","type":"string"},"datatype":"string"},"type":"statement","id":"Q3873862$0F7F3185-A644-4ED8-84AB-E97D43970D18","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":"Q3873862$E6F43231-0F08-4357-A63B-4EAD0E12BBF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"738c14a3baddbb7de42516a7dda698382b91f52b","datavalue":{"value":"W2074076355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3873862$BDA2EF20-C3E7-4868-9FF5-312DC3D62181","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ec991c081410831457eb3ff39cc2e40fdd2e7e99","datavalue":{"value":{"entity-type":"item","numeric-id":136057,"id":"Q136057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3873862$0F6CDA10-9637-4DAB-83FF-41F7C24B0732","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Continuous-Valued Binary Decision Procedures","badges":[]}}}}}