{"entities":{"Q5387294":{"pageid":7416868,"ns":120,"title":"Item:Q5387294","lastrevid":100956323,"modified":"2026-06-05T23:32:31Z","type":"item","id":"Q5387294","labels":{"en":{"language":"en","value":"On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5273182"}},"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":"Q5387294$E8DB04DF-606B-461F-9E09-26C30939DAAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00e97916931adb5378baeb21810b855825050924","datavalue":{"value":{"text":"On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387294$138D0079-88A3-452F-AF21-C98CDDEB1D2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4a5f58dac791495c348af2d12a9d263a6bc970c","datavalue":{"value":"1166.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387294$218EEB15-49DF-4357-8B51-056D69E458A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8cfac01b20b442a0f2bc5739cafa25fbe3ad63f","datavalue":{"value":{"entity-type":"item","numeric-id":464616,"id":"Q464616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$57ABC1E1-D87A-4DF5-AB31-ADCCFEB84595","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5eaa08c8f42b6fea4c0be6959dc42d24f90291ef","datavalue":{"value":{"time":"+2008-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387294$0591DB37-BEBF-476D-9B37-F8E639D89534","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387294$B3AD291D-B281-4E50-9B92-52CF82055A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387294$A2007C26-B56D-48FB-AD1F-5695F81E3A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387294$4807BCD2-1FE0-47BE-ABE8-385D637A66E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27faf1ad89cef766506cad9307b7b86dcf0b847a","datavalue":{"value":"5273182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387294$1BFBC47E-9F4E-4FE7-A160-E81747912A5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f54dadb910d57383bd8ae594c62bd0f861a11a","datavalue":{"value":"numerically definite syllogism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387294$0F889D7F-AABE-46EB-86E8-0230B36E7865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2559f9c9672e22e20bfc088acf19558172760d34","datavalue":{"value":"numerically definite relational syllogism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387294$B77AA396-4B05-45E2-9847-26C400E4F726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387294$8AA97F0F-9E52-478F-95D2-ADF88A645686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387294$B91A0C71-B14B-47C4-ACDE-C806E5EA9D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387294$D003A6BB-F0CD-4E9B-9576-5E714173C056","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":"Q5387294$D24EFEF0-7553-4523-8B1F-52AEF8A0EBE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf514ae2b1609db2fce5a4880b34ba68e64d5128","datavalue":{"value":"https://doi.org/10.2178/bsl/1208358842","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387294$9B905370-3986-4859-AFC2-94BB7FA74AEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"530273e4d8beb722cdc5626b4896d23ed4319a4d","datavalue":{"value":"W2080313050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387294$9665984C-4B86-4986-B9A2-3DDE32B8BBD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9387f435a7e5ae169822e9f6fe0921cbbb50866","datavalue":{"value":{"entity-type":"item","numeric-id":2720401,"id":"Q2720401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$3EF72797-2445-4839-B8F7-2BABAC164BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e012ed6cc3f7a1a02b368efef9985301094764fd","datavalue":{"value":{"entity-type":"item","numeric-id":2535379,"id":"Q2535379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$3C819AC0-5689-4E92-942A-0BB52D925B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88260314eada835ab57993c6c3506693d33d8b34","datavalue":{"value":{"entity-type":"item","numeric-id":4523440,"id":"Q4523440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$8A7E3ED2-1F7D-4D3E-AAE8-D04E5DCD1565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487c3b72cf5317ad59f2588afc0b3ef4297b1153","datavalue":{"value":{"entity-type":"item","numeric-id":1104751,"id":"Q1104751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$4E040EB2-3719-4AEF-A92A-B4633E8834D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5262823b0f5f002719e39075b00d039bff7e2e7","datavalue":{"value":{"entity-type":"item","numeric-id":2480055,"id":"Q2480055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$32A98196-DDD6-49FF-99D7-E096D382DBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7945ce806c2cba4f76cc008a86dd1ed8ca86835","datavalue":{"value":{"entity-type":"item","numeric-id":2567347,"id":"Q2567347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$F2B171B8-54E4-49B6-BCB0-57390EDED28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"669d529826df3c985135414a78cd5e9086cd1948","datavalue":{"value":{"entity-type":"item","numeric-id":809998,"id":"Q809998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$95512624-E97A-490C-8F4E-4E98AB2E6FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e03f8a49cf89eb139b68995cf5dbce2fb74e2a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1214906,"id":"Q1214906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$508E4994-52A8-4AD3-ADDE-176AAF471A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099b51b2818142cfcfef716ea26bc9e9c33f0bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4325548,"id":"Q4325548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$1D4CDA68-82F6-48CF-A728-1672D4C70518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7087016ad1b6d60fd2f1dcb3ead5b7932e3dd056","datavalue":{"value":{"entity-type":"item","numeric-id":5937825,"id":"Q5937825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$E1956AD0-FEC7-40AE-8464-5A6289342459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a63e473e893f30031f1d5968751ceddfd569dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1377553,"id":"Q1377553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$CAE43D0D-A661-4A0E-8D12-A098BE5EB416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61712e530eba0af226bc23c3228b2e8d8421c48","datavalue":{"value":{"entity-type":"item","numeric-id":867399,"id":"Q867399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$7EFC7B27-2D45-4CFF-8642-1994281593C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"554ca867f1cd65ebb95e3657d4d2e2200762204b","datavalue":{"value":"10.2178/BSL/1208358842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387294$118169A8-3E5E-430E-A260-4B48418A7C24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387294$BBB1C0E7-422C-48D0-860C-D787A953DEBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8040ff7ca210acfd9b735b8c54badca0ce8e663d","datavalue":{"value":{"entity-type":"item","numeric-id":5850983,"id":"Q5850983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45417b03732d17649520585b7bae878ba3cc613f","datavalue":{"value":{"amount":"+0.8039042353630066","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":"Q5387294$0F50CD3D-A3B0-47B6-B793-3F4ACE94E7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3708dbe33dd01e4b1ba709e39bcf78c36b17e32","datavalue":{"value":{"entity-type":"item","numeric-id":3630181,"id":"Q3630181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e9a3cc1124d1382db8637274b19b0d30bc853f","datavalue":{"value":{"amount":"+0.8000063896179199","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":"Q5387294$CE1C4528-6EC6-4C5A-879D-F0564CC05A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335d262dd958b4256fb3fe182253c3356e31b83c","datavalue":{"value":{"entity-type":"item","numeric-id":2255203,"id":"Q2255203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ab809f6685bea9e31e8d6f4a674bfe66967b56","datavalue":{"value":{"amount":"+0.7847185730934143","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":"Q5387294$7B4DEEF0-8405-4510-B5EA-9A09FA16FC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35215edc3bbb33c9e7ad6fce949e1825ed0119a6","datavalue":{"value":{"entity-type":"item","numeric-id":3305435,"id":"Q3305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da590d62f4667cd7129b7ad168ccc0fbc2b4424","datavalue":{"value":{"amount":"+0.7591671347618103","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":"Q5387294$400B6F85-C118-475A-9DFF-E8F9E96B9BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe432c4cbedfe36f6f9d088a1b5998db47f081b","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942840cb6a94f0a3092072d2bb66338eb10fc99d","datavalue":{"value":{"amount":"+0.7583480477333069","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":"Q5387294$00C4A802-CC0B-4AEB-8D26-006474B97DFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics","badges":[]}}}}}