{"entities":{"Q4215602":{"pageid":6245203,"ns":120,"title":"Item:Q4215602","lastrevid":46650810,"modified":"2025-12-25T08:22:00Z","type":"item","id":"Q4215602","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1215470"}},"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":"Q4215602$9B80C7EB-1E7A-4CED-9E6B-C431BEF6F4CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d87a80de7162e7e148a67d9eda0c26afa3f655f1","datavalue":{"value":"0913.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215602$42F088CA-CF4A-4E76-A145-83820C80A641","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215602$0A36672E-45A5-4286-823D-648EA0D117AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bf0a1a1429924599cfd386dc9b5aa0ec5aaa8a5","datavalue":{"value":{"time":"+1999-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4215602$0D1D781C-E497-458D-96D2-89718DA688E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215602$C5684F5C-6AE7-4D41-AADC-405811C42E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215602$57D73A82-9152-4C25-B111-43658FF11125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215602$80C180C5-B83C-4AAE-8071-7121ADC0391B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a8d33a73f62ad5ce187a615986f6f4d8082857b","datavalue":{"value":"1215470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215602$EABB9CDA-7385-4BD1-BB13-CDB43C75C960","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215602$EAB1AC9E-76F0-4731-B5B9-25EB44239BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c2a46a807b785d2b313bd98650b0e8235b344a","datavalue":{"value":"resolution with condensing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215602$7CF20F67-2C60-4C16-B9C6-ADF3134A1802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215602$2D3130C3-A500-4BE3-B83E-3B357242B75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51017d0538ad9aea8a2426de94a4edbf5fd3f801","datavalue":{"value":"path logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215602$640ACC4F-13CC-484C-8FC1-A37F9F7BAE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215602$4DC4506D-0F80-405B-8D30-7B978C54C313","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215602$8426E48A-BAB1-4FAC-8CA7-5A7DBB5A969B","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":"Q4215602$0DBE61BB-F151-4C96-9844-C086ADD4436F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f104792b223736a01f2dede804bd80df3f430f5e","datavalue":{"value":{"entity-type":"item","numeric-id":1284704,"id":"Q1284704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06000c647482a733d9c777daf2fcd9ae7937966e","datavalue":{"value":{"amount":"+0.9270621538162231","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":"Q4215602$D7A8CC36-0523-4B5E-B276-76F311EC7A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7b269e781d4aa3c4ace2f7c3de9f877cc3c90","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e079e131f3a1bf8a107ff02c0e08b6169a141956","datavalue":{"value":{"amount":"+0.8575724959373474","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":"Q4215602$C34040B1-5AAF-41C8-8B39-CFFF571D0F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c04dd2745cd22ae7c3c1bd8b52fb2b169fae237c","datavalue":{"value":{"entity-type":"item","numeric-id":4329239,"id":"Q4329239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9d93895c7121f887b19aa2dca47f54b0dfda19","datavalue":{"value":{"amount":"+0.8555693030357361","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":"Q4215602$D4822CA3-F5E6-4664-BA5E-FADE0655AAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b6bb9dc551ba9a220b7a51f14cd07bdd3a25b7","datavalue":{"value":{"entity-type":"item","numeric-id":3704917,"id":"Q3704917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bbfc1eca372f25a022fe4031f7a80691bed9e38","datavalue":{"value":{"amount":"+0.8339314460754395","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":"Q4215602$A58CD5E8-AF4A-449A-AEEA-82BBCE32C435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc2c9b248b5e31c2d9c118582a2d19acded508e","datavalue":{"value":{"entity-type":"item","numeric-id":1610669,"id":"Q1610669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3e3bf1d026d9af1d549334ca7789489888c905","datavalue":{"value":{"amount":"+0.8319544792175293","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":"Q4215602$A6839B5B-C8EC-4B81-93A7-2CE73E59E7AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4215602","badges":[]}}}}}