{"entities":{"Q3088034":{"pageid":3098749,"ns":120,"title":"Item:Q3088034","lastrevid":45421063,"modified":"2025-12-07T17:48:58Z","type":"item","id":"Q3088034","labels":{"en":{"language":"en","value":"Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940097"}},"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":"Q3088034$8ED11B5F-8823-4FAF-90F6-6AA2569FF16D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f34013a55d3114ecad3195d6cca37150da9a5f8","datavalue":{"value":{"text":"Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088034$C3D1E3B3-A54C-48DA-8C5C-64E21B3081F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a8ead37ce87c140f1c2ad0807c157ca240076fe","datavalue":{"value":"1343.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088034$958F8083-C759-4433-954F-8D3F5BDDDF5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3c0f0b1377f7da85d27cd6551d900082d3f0314","datavalue":{"value":"10.1007/978-3-642-22993-0_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088034$8855A8F0-D4C7-4EE7-BE2A-6AEF997EC216","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088034$8B966785-642C-44AF-BFB2-C2F349D6DF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"779331bd55b2a0da146c8a2d7ee46a3c6f3f0863","datavalue":{"value":{"entity-type":"item","numeric-id":472792,"id":"Q472792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088034$072E4359-C037-46D9-BF48-8040A98018B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088034$FB1B75CC-5052-4CCE-BA2D-E30CC93E04FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcf6ed4348178955f4994e3572da1b75de1cd896","datavalue":{"value":{"entity-type":"item","numeric-id":814805,"id":"Q814805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088034$F77B5862-74DB-4D18-BF6E-16BF1B5012AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"799375dfd9c57273d55698de42084d11cf9e071f","datavalue":{"value":{"entity-type":"item","numeric-id":3088024,"id":"Q3088024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088034$B7FC22D0-0592-4DD7-B64E-D78AE630ED74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088034$5C817F66-6B7C-47EE-AB1F-8FE1502F2544","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088034$75630F2A-D6D6-435E-9838-1F8BF5436194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088034$AB6B6238-617D-495D-BA7C-21024A17E57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088034$4FC78B01-832E-4057-87BE-950F50BF6AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088034$6E6D9772-1B75-40D6-8EE8-A5AD4E7E3DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088034$3EB00FCB-5916-431E-B32E-8E35576DC4D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54c72529ee9cbba9d633f60d39127f8e45a83d8d","datavalue":{"value":"5940097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088034$450C7229-C81B-4E83-AD53-BD63EB10DCFB","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":"Q3088034$EF36F22C-2DF8-4051-8DA8-07AD0AB2DAB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42f60c9ea4c1b8dec741b80fd1b340c454dd80c6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22993-0_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088034$2A00D729-68EE-4A73-9565-C8535A654E9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b90a92b9abc36ecfe23a25d366eddfd43fe651af","datavalue":{"value":"W2141500543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088034$88D2C91A-4ADE-46DA-98F1-336ECE54FAA6","rank":"normal"}],"P1643":[{"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":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088034$22B610ED-E36F-4BD1-8494-4307A81D274C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf302a2b2fe499cec9fb21cac8ae3a4ba44ef33","datavalue":{"value":{"entity-type":"item","numeric-id":2922037,"id":"Q2922037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a3ebe991fdec9d2a549abc749605754c8fe68c","datavalue":{"value":{"amount":"+0.975685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088034$25913C0B-1108-4600-84EA-D52353053C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afca3b29330b440d76c08f8e08f6d4bc4e8c7e2c","datavalue":{"value":{"entity-type":"item","numeric-id":674008,"id":"Q674008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754e633539fcee5cd9a0fe3fe6aac8386084b0b7","datavalue":{"value":{"amount":"+0.9294868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088034$C5AC1E27-5D55-44B5-AFED-DB284BA1247F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b0b498238ea901f84c5265acf316c3f569263a","datavalue":{"value":{"entity-type":"item","numeric-id":3150207,"id":"Q3150207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925f9edebcac10cd4427c250a86f239791b427e1","datavalue":{"value":{"amount":"+0.9193385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088034$F60DB147-130C-4206-AE4A-68A5AACD9894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0545a9d5c79786c3a36c93b84a54c0d60d95bbed","datavalue":{"value":{"entity-type":"item","numeric-id":3812210,"id":"Q3812210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"522bee57d543050c4c8e96a78adc800b6f929e57","datavalue":{"value":{"amount":"+0.913072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088034$F639F601-52D7-478D-BC01-6BED35544322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d0e01841c5aaee7439fb985d58027be7ac70fb","datavalue":{"value":{"entity-type":"item","numeric-id":4733381,"id":"Q4733381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"522bee57d543050c4c8e96a78adc800b6f929e57","datavalue":{"value":{"amount":"+0.913072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088034$5961CECB-9A69-465C-B0A4-A55D0AFD07FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"964288f34b831576e4f093b75fe3228e9554c0cc","datavalue":{"value":{"amount":"+0.91137254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088034$0756D850-0F64-4590-A7EA-D03731A7CEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8724dfa93bedce383aa0daa85e046c21965a4570","datavalue":{"value":{"entity-type":"item","numeric-id":4518435,"id":"Q4518435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f50527fa679ce1309e87e69f8f2178b30018f24","datavalue":{"value":{"amount":"+0.90941334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088034$60BB1099-CDF2-4AC5-9AE5-908A5B7AB920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"985cc8a1ee18124095703b3bd427cc635d2122da","datavalue":{"value":{"amount":"+0.90775627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088034$02844BC3-33F2-4C35-8359-95541ADE301E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088034"}}}}}