{"entities":{"Q4263009":{"pageid":6292610,"ns":120,"title":"Item:Q4263009","lastrevid":46664346,"modified":"2025-12-25T08:58:39Z","type":"item","id":"Q4263009","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341470"}},"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":"Q4263009$13E356C4-49DB-4E45-9CEB-2814BA537509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f563bee00b4fdb48910f3bc0a00c2cd3fe2be2a","datavalue":{"value":"0932.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263009$3C443ABC-C0A2-4498-9439-417874131B6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263009$D6036AE8-A8C5-405B-9D88-C17DB9E1053B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8419bf456ea44a4e17916a93fefe5219b76fae6f","datavalue":{"value":{"entity-type":"item","numeric-id":556678,"id":"Q556678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263009$57015D39-BF74-421B-A614-ADBDEC5C8537","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263009$3A23139E-AB19-451F-9ADC-93C7CA73B254","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263009$B78BD563-B3C9-4E07-817A-E9A927E2E982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263009$E1D5F2A4-5C2D-432F-A982-23396552372D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263009$0077F1FD-1095-4F81-9E7B-2E05AF008492","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf62352cbdcade7a3ae911af72ac79f9bbb2c9d7","datavalue":{"value":"1341470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263009$14701A8C-C572-4AA5-A64E-0DB91CBA8BD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bc8909ce4636a0488fe1c98d1fee6f3e23a4b1","datavalue":{"value":"computable set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263009$9B3B3EA6-0518-4AE0-B42A-E68D55944531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03e131226d580f61320fbf5cc63a51833c6fd170","datavalue":{"value":"multi-level syllogistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263009$2A84247D-F3DF-49E3-AEBF-2CCEB7801313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c85a3362f5389e297e1b478b5c2d09acfbf1a3dd","datavalue":{"value":"set-theoretic fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263009$CAD4AE38-1B1D-47F4-9592-1F9C7733081D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e1a72cd32cb28956d90571f6dfbd661e228c40","datavalue":{"value":"restricted form of quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263009$05904D15-633B-4C97-A29A-C35FECD141F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263009$96CBC83E-44E8-4FE0-A7F7-AF266FFA72E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263009$F7014B10-37B7-4B31-BA57-768507B1FA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f7fe19f725521885c5a40b8a361664ab1a2991","datavalue":{"value":"efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263009$ADE3D7B8-0791-4CC5-B4E1-D9E9445EA806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263009$A86C0345-9723-4B04-B786-8B40BD97CB8E","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":"Q4263009$E9823B68-AB9F-4A96-A92B-7AA59C26C73B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee886934725940e74e4f5e04e9e7757c460cb7e","datavalue":{"value":{"entity-type":"item","numeric-id":4503906,"id":"Q4503906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb043d75582155a7b498724af322b624d397960","datavalue":{"value":{"amount":"+0.847086489200592","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":"Q4263009$43997B4C-6BE4-40DA-9094-6A0AFF1D51EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e70825716968b22f718ffb682164ae089fe44e7","datavalue":{"value":{"entity-type":"item","numeric-id":2721208,"id":"Q2721208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b963a3ce3e2eb6fa2f91f42684873f4640ddd05","datavalue":{"value":{"amount":"+0.8073108792304993","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":"Q4263009$E11990F7-F98C-4544-B522-A1F0FFD9FC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9558e83443494e9773d6182952110c24b0c6183d","datavalue":{"value":{"entity-type":"item","numeric-id":4867922,"id":"Q4867922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30578c5226c20a7b02e320b8548c2b619fe56e2b","datavalue":{"value":{"amount":"+0.8007883429527283","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":"Q4263009$FB0931F8-6B22-4104-BDE8-E37CFD40CF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"047cdc2c882dc4ab0606ea331fb2c136e2b0239c","datavalue":{"value":{"entity-type":"item","numeric-id":3838806,"id":"Q3838806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc8d253fd65bfd814b02f8cb712eafec20e5ea6","datavalue":{"value":{"amount":"+0.7965315580368042","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":"Q4263009$11740374-ED59-4B74-AF1D-006BD2E3394C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0419543bc1078792c29b3756c70500d712a5f926","datavalue":{"value":{"entity-type":"item","numeric-id":4986517,"id":"Q4986517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0dc28302edd4bcaffbfa92ace0aa10a650d3d9","datavalue":{"value":{"amount":"+0.7940061092376709","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":"Q4263009$FA325D91-9757-4003-B99C-E6C55BBDC9D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263009","badges":[]}}}}}