{"entities":{"Q1327398":{"pageid":1338148,"ns":120,"title":"Item:Q1327398","lastrevid":70152831,"modified":"2026-04-13T12:48:11Z","type":"item","id":"Q1327398","labels":{"en":{"language":"en","value":"Symbolic model checking for real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 590757"}},"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":"Q1327398$8C75D2B8-BB45-4259-9ED9-9EF6D75E8F13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae0a89e514b093d9d6f9f327e842fef9cb321883","datavalue":{"value":{"text":"Symbolic model checking for real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1327398$CF5C3225-DAD1-4D31-BFEC-80EF62FBF2EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29b3cf8451f7babfa46fc12ccede88713934118b","datavalue":{"value":"0806.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327398$C67FF0FD-852E-4908-A60D-FF529CCC369F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327398$1AE62DFA-43C0-499B-B859-151CAC9DF871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf1ccc2381d354ec662ed94ad084da7613541b71","datavalue":{"value":{"entity-type":"item","numeric-id":1323312,"id":"Q1323312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327398$259D691F-4281-4E1D-BF50-99AD333344B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327398$118717BB-62C8-4B2B-B0CA-C70E2B743CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb56f0c75c4cf32c2f76e3e49feb34da9c9e05a2","datavalue":{"value":{"entity-type":"item","numeric-id":169911,"id":"Q169911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327398$A8DC9CE3-286E-4DD4-A5FB-F1EC6C5F6943","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327398$DDF65648-6766-4A1B-8D89-3E1389925B20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3f5020bb391825f091a9eb9719aa6d72bf1e1b","datavalue":{"value":{"time":"+1995-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1327398$115492B6-BE12-4083-9A26-23FFE81E3704","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"735cf029aa74dd142ab31fc0e463234124586782","datavalue":{"value":"https://hdl.handle.net/1813/6182","type":"string"},"datatype":"url"},"type":"statement","id":"Q1327398$B165813D-2A0D-4C55-B6EC-86C7EA55E6C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327398$A43A5CB0-D213-42D6-8F6A-82CAE66DE7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327398$18AFDC71-FEC7-488D-A6D7-EBC617D81FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327398$D4BE7C57-EAB1-4832-82C1-4B3758F4BB9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24306031cd3dcef44172863a9e9e6635268f7218","datavalue":{"value":"590757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327398$F62E55C4-BFC3-4A03-86C0-4D1FB3E5CA33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327398$33A55794-4484-470D-8429-EBAD59AC6064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"417a929c7470687a4f36f1646ed55f2f8cb4e7ec","datavalue":{"value":"finite-state programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327398$102EC715-ACBA-4F66-A0B2-38CCA151CB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e3357822b92cbcb33c256df5487df75ccfa53","datavalue":{"value":"guarded-command language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327398$72F039DC-8C80-4308-8BE5-FAAA8AA6EC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c23ab83b0e0b7402d2b88769b37817a48d25bf49","datavalue":{"value":"branching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327398$27602B04-657A-4246-8418-38CE02962602","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":"Q1327398$51934D1D-F91A-4C62-BCA3-097B86072F3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b9fab188671b820efdd6934a08a494580126f14","datavalue":{"value":"W2130773092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327398$A016C063-42E3-430F-9870-33B722EBE73A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9786fe9686da1410e05b6288d1a561e14d564878","datavalue":{"value":"10.1006/INCO.1994.1045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327398$382FFD65-4D9D-4F75-B490-FDCCA21B41EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a3ef4a16a20610220ababe2c6b0cd8237ce8c6","datavalue":{"value":{"amount":"+0.8629797101020813","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":"Q1327398$CF86DC17-BB3B-4AB3-96A5-E47938653368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5df4a94c821a4fb3cf532bdf48e46ed96c0be","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b157e990d22b8224efb4b41fc3f41f0afd248e","datavalue":{"value":{"amount":"+0.8580967783927917","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":"Q1327398$19EE2327-4CAA-458A-B41F-D3747C5846DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82850697737ceeded56c65f3fd045158867b5065","datavalue":{"value":{"amount":"+0.8575316071510315","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":"Q1327398$CE57D95B-07F4-4F40-972C-3CE99386C6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2223a28863377cc327c8a59808f31ddb7a9a9beb","datavalue":{"value":{"amount":"+0.8548903465270996","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":"Q1327398$63D76E2A-D050-4943-A5E7-1BDC01B3AD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65c8fffdba38bdabc49fcdd9e28a660d4f7c043","datavalue":{"value":{"entity-type":"item","numeric-id":4037378,"id":"Q4037378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b0f847488fb1eadc248713f5d8cffb03fa25a7","datavalue":{"value":{"amount":"+0.8534644246101379","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":"Q1327398$BF754BF5-58C3-4616-86A8-A9030FE59C6B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327398$356EA131-F069-401F-9682-0F216C8A4748","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic model checking for real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_model_checking_for_real-time_systems"}}}}}