{"entities":{"Q4263156":{"pageid":6292757,"ns":120,"title":"Item:Q4263156","lastrevid":46667145,"modified":"2025-12-25T09:03:45Z","type":"item","id":"Q4263156","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341607"}},"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":"Q4263156$25337435-3340-4512-8DAE-E7446580545C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b0bc09a3512f18709a180e27598ccea23d85d39","datavalue":{"value":"0937.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263156$5AA18416-5F94-492D-961B-EA0D4E99EF98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de3632edebc8157d626bdfdbb4245837ef03429c","datavalue":{"value":{"entity-type":"item","numeric-id":2720400,"id":"Q2720400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263156$109FEF2F-F52E-494B-8FA5-005405D41BFB","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":"Q4263156$F4B0A3C6-63EB-4DDC-ABD2-5B9118E3218A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263156$5FB04A22-D36E-4182-8CDC-8BF85B31CCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263156$9AB034F4-9F0C-4A6E-BF68-7BB58BB06541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263156$5426FBA8-1378-4E11-878C-7D17918BB131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263156$55B47274-7F34-47FA-B7B1-F834AC61A74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263156$C95310EF-B84C-4547-8A98-6BDA0E63069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263156$FB933754-2005-4EE4-8259-D03781122479","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fecbff8d6f431f85fb94133f758f38984fa779a","datavalue":{"value":"1341607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263156$0C0E82F8-BA21-4BF6-8612-56D2F1C07370","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e4cb1d52bdd3f472110f3b6643956bc78e2723","datavalue":{"value":"PSpace algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263156$4F465312-67E8-4CD5-A13F-F3538E5BF424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263156$B32AFDFB-28D6-49CF-985C-F48732B1A46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9341d5334d5eca6f44bdbc28f131ac5a99a01283","datavalue":{"value":"graded modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263156$9ABD7562-3E20-4330-9E50-3CCB2588772C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263156$F7E04CD4-7BF4-4BBB-B824-5500B8A194CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263156$F2AB19BB-650B-4BFC-8D0B-C4EACD11AFEA","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":"Q4263156$8E104725-0C4A-4F01-B570-08C40AD45685","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8541a04e0b1eaf1cbbd26664f9562a8be9787b","datavalue":{"value":{"entity-type":"item","numeric-id":2720401,"id":"Q2720401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9d0e909b28e86b52e53a7aace72ed0305efb87","datavalue":{"value":{"amount":"+0.9322829842567444","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":"Q4263156$554B9492-0D2E-4593-ABDE-B840BDA5F010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71fc00f9caaf2d5900e2a968a11e73382855e97e","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bc6c1a5b6a1d150c4e732231e0d08a7b1fe89d","datavalue":{"value":{"amount":"+0.7932304739952087","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":"Q4263156$D945E4AD-5A31-4086-872A-BCBA43C608CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e6e5957ed52092b23c1a3ffd2f83aca25555dc","datavalue":{"value":{"entity-type":"item","numeric-id":2946674,"id":"Q2946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545ce472de7b451ce04db280ec88d86158336a40","datavalue":{"value":{"amount":"+0.7826105356216431","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":"Q4263156$58D39A92-865C-40A9-A186-15297BE099B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d70cdf3b30682ecb96981f028c2d601095f47f7","datavalue":{"value":{"entity-type":"item","numeric-id":3613433,"id":"Q3613433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1969f8a75c6481b9bfb75e3e9fb2cb873ce6504","datavalue":{"value":{"amount":"+0.7825151681900024","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":"Q4263156$A7F86192-3CC6-48E6-85A6-1BAF0F3F410F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313fd23124c15a556e60e6650ae6ebed95b07b87","datavalue":{"value":{"entity-type":"item","numeric-id":3400570,"id":"Q3400570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f99655545bea13590dc96cc58072988befcf7fc","datavalue":{"value":{"amount":"+0.7721424698829651","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":"Q4263156$0E03CD87-34BF-40B0-A35D-FD2D4B42CBD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263156"}}}}}