{"entities":{"Q1856169":{"pageid":1866911,"ns":120,"title":"Item:Q1856169","lastrevid":69121728,"modified":"2026-04-13T04:55:22Z","type":"item","id":"Q1856169","labels":{"en":{"language":"en","value":"Pragmatics of model checking: An STTT special section"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1862280"}},"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":"Q1856169$AE866C53-2D73-4FA3-8DEC-FF143504C1CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1db4021469b1f60385321ff6dd740336bae1a072","datavalue":{"value":{"text":"Pragmatics of model checking: An STTT special section","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1856169$41D15CA2-E08B-45BC-BD77-F5FE22F16DFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07628446676d76b726ffd09f8d04e07995abbdd6","datavalue":{"value":"1059.68583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856169$B023ACA4-D8F7-4B26-849D-60AE698DDAAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856169$5A15CE4C-DE21-4AB8-BFE9-BC1EBD85BE8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856169$2AE83597-8BCD-4D9E-B575-7C285262680D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4807edd6e640ad656e01e00a44b61d620e873df6","datavalue":{"value":{"time":"+1999-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1856169$3B6A8CA7-98D2-4247-A109-AF3528B67A87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856169$FD6276DF-C854-44A8-873E-357323F33155","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a97b212a1c4f2e18aa517c80b9b7ad903300225f","datavalue":{"value":"1862280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856169$A282975B-8590-4E90-B913-E1030B5C235D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856169$1A64D247-5B7E-4E47-813F-51789CF1DDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856169$4F670440-35B7-4153-89EA-42B4F998F737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab914e4b1ee636749aaff08903c675f2353b5ff","datavalue":{"value":"state explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856169$8F08D124-361A-438C-9714-47A91186C77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db158fb26b109c799e33bf311226359880ee7a54","datavalue":{"value":"system verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856169$1C11B72B-7A97-4A82-BEBD-5F8464471421","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f19c6afe93f9c0525f95308556e599d9a0e1c190","datavalue":{"value":{"entity-type":"item","numeric-id":24315,"id":"Q24315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856169$5245DD7C-13BE-4F10-AB15-9DD684ADC1DC","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":"Q1856169$21E75CD1-3749-45C1-A4A1-D09077CCFA10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a22b4dd86e75a92cfe7918b76f5198f19faaf745","datavalue":{"value":"https://doi.org/10.1007/s100090050030","type":"string"},"datatype":"url"},"type":"statement","id":"Q1856169$57B0210D-A4CE-4E32-AC58-058CE46CF9C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6c77508babffe569b3523d3ee177b9039c0c876","datavalue":{"value":"W2090315845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856169$AEFA011C-177E-4C39-AE0A-45079B92939D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"514431d7924ab1194edf9e26128a82e6b3bb40ad","datavalue":{"value":"10.1007/S100090050030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856169$E9048DD6-61DA-42DE-BC14-AF89AD666C93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96204ab08abf263fcc8f3a15dfa883eb7d993f23","datavalue":{"value":{"amount":"+0.8595153093338013","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":"Q1856169$F6569CEA-ADD7-470B-A9FB-43947771A1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a361897a83fbcb8ac7951dffc524d62a5491ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdbcb9bc3a66bc43d2cd4583a77952ae12218627","datavalue":{"value":{"amount":"+0.841511070728302","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":"Q1856169$5315FC86-6643-48D5-9075-FEABFD3FD1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd164773dffd8251f5b8567817722bc419123fb7","datavalue":{"value":{"amount":"+0.8331437110900879","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":"Q1856169$5F309B3D-A9EB-4B81-90DC-A0DA11751BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd164773dffd8251f5b8567817722bc419123fb7","datavalue":{"value":{"amount":"+0.8331437110900879","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":"Q1856169$B7F03EF9-78DA-41E1-9EF9-111C9A2F0756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664ee6ce245c2bec86eb5428568691fb1e0409cc","datavalue":{"value":{"entity-type":"item","numeric-id":5505552,"id":"Q5505552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af940e25b0c30188be577f3fc7ff85be8af8778a","datavalue":{"value":{"amount":"+0.8331369757652283","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":"Q1856169$342FA555-9403-48B7-82FD-22A74721D533","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pragmatics of model checking: An STTT special section","badges":[]}}}}}