{"entities":{"Q5422264":{"pageid":7451838,"ns":120,"title":"Item:Q5422264","lastrevid":100953929,"modified":"2026-06-05T23:32:10Z","type":"item","id":"Q5422264","labels":{"en":{"language":"en","value":"Davis-Putnam style rules for deciding property S."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201471"}},"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":"Q5422264$0F75FC7E-D109-4680-85E2-9B16E60B0672","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9048fb0eb3bba1f8163def7e93c7e3f60c67ee78","datavalue":{"value":"1121.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422264$D582FF1A-7C86-4C69-A3A9-8A5AE55E7FF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27c17e683e38eea7f1304bde8245957e05f3c985","datavalue":{"value":{"time":"+2007-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5422264$3037216E-883B-437F-8129-E2C8B4AE7743","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422264$C0B9FDE9-8D57-46E9-92F2-4D6C17FEE1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422264$BF30D740-A5A5-4A08-BB77-DA8503424554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422264$4D060959-B25B-4773-A0AB-1F5A1889048E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422264$7C03EDD5-89B7-455B-B8CD-A6C45C056F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422264$4AC4B959-9F4B-4974-8310-51AB11A0E742","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5692828539254948b1fd948175c2fc13dde8be72","datavalue":{"value":"5201471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422264$BD58A8C1-9A0B-4B94-B516-1BB1343A81BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1fcc1d47195c68bd77ad59836a26ae5c10c0254","datavalue":{"value":"bihypergraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422264$F3C69B34-2758-440A-8D61-13722D8CFAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b64ce01b50fa978c8b75883c378640d08f80a100","datavalue":{"value":"colourability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422264$5E8726D9-9A52-4CE4-9929-9753FCBAE77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422264$136843CB-2D69-4C78-AFEE-41BE0FC8EECB","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":"Q5422264$4DDB0C89-3CFD-4F66-ACD3-CCF4F5FF3C3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c193c5790f2e7d000e0fb0eb36bc1cb591273dbb","datavalue":{"value":{"entity-type":"item","numeric-id":2772903,"id":"Q2772903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986d6c438ae792ac5c5d920e8e73b8c31eac2db0","datavalue":{"value":{"amount":"+0.8163100481033325","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":"Q5422264$30A6A9CB-7203-4C6B-BC39-67079396A03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb38b63c234cd0a974a33a78a9af7bd02c2db44","datavalue":{"value":{"entity-type":"item","numeric-id":1977761,"id":"Q1977761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986d6c438ae792ac5c5d920e8e73b8c31eac2db0","datavalue":{"value":{"amount":"+0.8163100481033325","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":"Q5422264$C386C5E1-9E95-435B-90BE-A7A433E60482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b981f354689fb74fa20ab948881d506ff1cc13f","datavalue":{"value":{"entity-type":"item","numeric-id":4025013,"id":"Q4025013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2a76271e7e333df8aa1fdf584cfc37cb3253f1d","datavalue":{"value":{"amount":"+0.72014981508255","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":"Q5422264$FC181568-EE96-485C-8183-00768681E9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e366a6ae1ffcd391788169251187e485eed88162","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2df497b0dc33e222e4e67e118b125c22ac20e9e7","datavalue":{"value":{"amount":"+0.7197214365005493","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":"Q5422264$3AF270F3-AD52-46F2-84AA-FE42EA0A6B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f172fa9f614d7a8a71c89b57aeec60204720e5e2","datavalue":{"value":{"entity-type":"item","numeric-id":3705420,"id":"Q3705420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2df497b0dc33e222e4e67e118b125c22ac20e9e7","datavalue":{"value":{"amount":"+0.7197214365005493","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":"Q5422264$68A7B4C2-6765-4CBA-BDEE-02A2FBD9B53F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Davis-Putnam style rules for deciding property S.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Davis-Putnam_style_rules_for_deciding_property_S."}}}}}