{"entities":{"Q2922037":{"pageid":2932757,"ns":120,"title":"Item:Q2922037","lastrevid":79551578,"modified":"2026-05-06T14:10:58Z","type":"item","id":"Q2922037","labels":{"en":{"language":"en","value":"Model checking concurrent recursive programs using temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6355271"}},"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":"Q2922037$F959348D-4645-480E-91C0-170F48675867","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32a7bf7d11b19669420236c15541753b1ecf8296","datavalue":{"value":{"text":"Model Checking Concurrent Recursive Programs Using Temporal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2922037$22CEDC05-C542-4795-A15C-9E3BC1CC8EDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"412e574af46eee06f5d642f579ac2ad7fa70e0dc","datavalue":{"value":"1425.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922037$9C44EB22-F0EB-4624-9403-2CE1A478A964","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3db7dff2c9977a493639ab3fcae8e20dfe23a9ab","datavalue":{"value":"10.1007/978-3-662-44522-8_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922037$D79F44EB-26F5-4305-8F4D-E0D08C066E3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e2ea6264713ed632011853c9fecdfff9f79606d","datavalue":{"value":{"entity-type":"item","numeric-id":2398212,"id":"Q2398212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922037$162662D7-77DB-4627-B499-4BCE5FAB94E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68b25ed9d3c306483bfc58de311b8d2185d8c136","datavalue":{"value":{"entity-type":"item","numeric-id":2921996,"id":"Q2921996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922037$B36590ED-C98F-45CD-8D0A-BC0D6B5C0160","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b416645c0a17193441756de619503aab4f6e3c3f","datavalue":{"value":{"time":"+2014-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2922037$1B61A9C1-F4C0-4070-8887-763969177B68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922037$9D470C0E-C2E7-490B-BC8B-D277CABEBC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922037$7E140CEC-1372-45FA-A73D-E94C92D26729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922037$76F83F12-4B6C-4A04-B7C4-E676BBB404F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922037$101D59B3-A91B-4D71-99DA-B605AA8DA6C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"666500d8d3c940153e247c87691736463f04760e","datavalue":{"value":"6355271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922037$186CB874-25E2-4D26-9DD6-3CAFA1DEF83D","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":"Q2922037$7AFB2DAB-2966-49DA-96A2-05F9B3B61BEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"861f26e0f14e68a3228c7687340c5f58fc073c7b","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44522-8_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q2922037$D1782ABE-181B-4DCF-92C3-EC4133AEB7D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac4f82b4ef65bdbc565758dfaa6c3c2ef0c06501","datavalue":{"value":"W426411505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922037$79C50C8A-AC30-40C2-B2AB-96BC3B835C76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334b05beb9f1c74c70fbe8d60045097fab894cc0","datavalue":{"value":{"entity-type":"item","numeric-id":5271053,"id":"Q5271053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f17b40860da7f64a15fffcdd32f6495ca9b67c","datavalue":{"value":{"amount":"+0.9086509943008424","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":"Q2922037$3AF49F3D-751D-4FBA-8D00-73F4B8127D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad492fc4626cc547a2b95164de5e1990eb50b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2398213,"id":"Q2398213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6d219bb02fa0d3c6cd70207c4b80764e171656","datavalue":{"value":{"amount":"+0.906821310520172","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":"Q2922037$0E2BACF6-401C-4D9C-B832-CBBB3B1C8CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e68076c0dfd4e93216c790c930db9d3b8521cf6","datavalue":{"value":{"entity-type":"item","numeric-id":2915173,"id":"Q2915173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4682c7114700297cbd7a1bb5df6b5ecca030dc7d","datavalue":{"value":{"amount":"+0.8413237929344177","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":"Q2922037$F8EC1709-8964-4704-88E2-5B61E9388DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6b5e5bb9a2467f261c749658c5aa1072f20bc7","datavalue":{"value":{"entity-type":"item","numeric-id":472794,"id":"Q472794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40f48cafd6fc643805d29ec00650e6ebbc18347","datavalue":{"value":{"amount":"+0.8400512337684631","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":"Q2922037$49A647D7-F199-4F7F-8F3B-4E0753A46041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455eff5655d25768f845d720778c71989e77003a","datavalue":{"value":{"entity-type":"item","numeric-id":3088034,"id":"Q3088034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec890e9b5cd8b34b1b25f430db61bd47853792e","datavalue":{"value":{"amount":"+0.8396806716918945","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":"Q2922037$59FC9BD5-8D1F-40A3-902A-03C8A7A07EC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking concurrent recursive programs using temporal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_concurrent_recursive_programs_using_temporal_logics"}}}}}