{"entities":{"Q1868165":{"pageid":1878907,"ns":120,"title":"Item:Q1868165","lastrevid":73918587,"modified":"2026-04-14T17:43:52Z","type":"item","id":"Q1868165","labels":{"en":{"language":"en","value":"Model checking techniqes for the analysis of reactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901267"}},"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":"Q1868165$03E9FBA0-8EFA-4735-97BF-318765F47AD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35ce535e3b9152c55249b6de72498ff40816affa","datavalue":{"value":{"text":"Model checking techniqes for the analysis of reactive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868165$392A273A-DA42-4E5A-B870-2884117C7661","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1f878682e947776e2671340d5457718fdb05a70","datavalue":{"value":"1016.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868165$3EB0BC63-7C88-4A4E-A77B-D84A3F5E767A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4354fd57118eb4efa4bd3297fd73b0226c83dc30","datavalue":{"value":"10.1023/A:1020887910943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868165$6294FF53-A9DA-4510-9204-5EB3443DA037","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a4b473513180cf93e4a8c86844a2c4dad9ce336","datavalue":{"value":{"entity-type":"item","numeric-id":820130,"id":"Q820130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868165$9775B6B7-A975-42E2-A714-21EAC3E687AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868165$F475D6C8-7B35-4129-887D-4FA1FC7C3767","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1868165$C8DDD466-D4E2-4454-8ACB-22B03845B97B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868165$4679DC7E-E6C0-438B-99B5-1E746376267A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868165$6790B362-ACE0-4F08-AB05-EE3CEF375025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868165$53CB8BE7-6D1B-4DFA-A802-034E1F2EB808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868165$123FDE8B-E7DE-4B92-A1FA-E0F457149DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868165$35A01EE6-A51B-4C71-9468-380C6CA398C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868165$7551C1EF-BA37-4CD7-B36A-8F63F05E6E61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e13328d0e551163d8c5f9c012d193a9c0b0e49c","datavalue":{"value":"1901267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868165$F2B03F6A-1415-4F2B-B2EB-63C836C58D9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868165$49A63CE4-8EE0-4AA2-9509-CEE90D688A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868165$095B3032-B119-4ACC-BA1B-2A2BCC9710FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b64b817a2c340f31cac6cbc1122bd9a601b46b90","datavalue":{"value":"automata-theoretic approaches","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868165$2C45675F-EA29-4791-BD55-6101BE28B211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868165$43F9C541-DAD0-4122-A401-92958A8BDE6D","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":"Q1868165$0D98FB07-06B7-4142-A776-7F758785B0FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a332cc1d91fca55b17188e0854a958f69f303f6b","datavalue":{"value":{"entity-type":"item","numeric-id":4530804,"id":"Q4530804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"875f7c4213caa3e00ace43608705d38fd69d994c","datavalue":{"value":{"amount":"+0.856882631778717","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":"Q1868165$DD54CE5B-37BA-452D-AF93-0872289A26AC","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":"e5d38af634f4d4d3198384f2ba0f4aa47a70c76d","datavalue":{"value":{"amount":"+0.8151150941848755","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":"Q1868165$32AB8CF1-8EB3-4BAA-9900-2F55F8B6FA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a0b4111a50d568c974f205e7c8bcf650e98200","datavalue":{"value":{"entity-type":"item","numeric-id":3176359,"id":"Q3176359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d38af634f4d4d3198384f2ba0f4aa47a70c76d","datavalue":{"value":{"amount":"+0.8151150941848755","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":"Q1868165$9CABFA3B-D580-4F8E-8226-920C670E16CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f2b1d3bd200409369e68178cc9809d59dead18","datavalue":{"value":{"entity-type":"item","numeric-id":5448763,"id":"Q5448763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aeb77adec287ca14d9bbe59259ae2e349cd6876","datavalue":{"value":{"amount":"+0.7790396809577942","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":"Q1868165$FCB2D077-DBAA-400A-B11A-19C5F0587AF1","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":"23cfceb3ded140d2ca0b199c5c540766d95197a2","datavalue":{"value":{"amount":"+0.7687228322029114","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":"Q1868165$9CBA9931-987D-403B-891E-00B2EA7E3D1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking techniqes for the analysis of reactive systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_techniqes_for_the_analysis_of_reactive_systems"}}}}}