{"entities":{"Q3172909":{"pageid":3183619,"ns":120,"title":"Item:Q3172909","lastrevid":85992758,"modified":"2026-06-03T13:15:57Z","type":"item","id":"Q3172909","labels":{"en":{"language":"en","value":"Model checking EGF on basic parallel processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954784"}},"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":"Q3172909$7EA42D25-BC71-4CE2-AA20-07A3B2ED303A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54ce6d465ef0491ea766ea979f368070fe353c5d","datavalue":{"value":{"text":"Model Checking EGF on Basic Parallel Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172909$9232439A-5C39-4CB3-89FE-AC50478DD98B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd7ce2f3b9b246031fe0f49c3c602742f210a1c7","datavalue":{"value":"1348.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172909$131E47E7-C7B8-478F-AAE1-F4252FA5D6D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c583aef40b7428d8ec80a404518d269170524837","datavalue":{"value":"10.1007/978-3-642-24372-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172909$42D69365-338A-4693-8A01-86D2565E5839","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a88149d12fac096f222b3d8514ac60f424d444","datavalue":{"value":{"entity-type":"item","numeric-id":256505,"id":"Q256505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172909$C1F237F6-4B95-458C-AC7F-CD687C34D072","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172909$9D223DF3-EA8F-46F8-88B0-75019460BC7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172909$5F262693-5823-41FE-8846-BDED754BEAC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172909$F12AD946-797F-4A42-A376-B313BA9F90DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172909$680B83D4-C597-4558-A033-ED072A43CDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172909$57D442B4-4275-4910-9CFD-983091B3701E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61eda455630a18e9385faf1e38807290978d07ab","datavalue":{"value":"5954784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172909$9840541B-22B2-4D6B-A025-430F27ADEDE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172909$DB1B9612-0D47-43EC-A27A-4C774849E958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93a76afa3f9278439ca52ef5c2e29fb4a00797c","datavalue":{"value":"basic parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172909$521FFFC9-D138-4130-9C08-31C8089427B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172909$98E5EBFC-A6C6-4B97-8250-9C17C974E222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae0473b53969d91f785700c1604db94c501946d0","datavalue":{"value":"EGF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172909$CE9E34F1-B54A-4F38-A704-1799A4F3F47C","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":"Q3172909$2B40D243-1401-4364-88B6-14079E825B54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7463a2ffca25ed1e5d2d84b5e47f3846a935b5d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24372-1_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172909$24A65BCF-5ED4-4D93-B429-3C58D25B6828","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed985e2fa80f9229799696177ec67806343431b7","datavalue":{"value":"W147847307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172909$5AF9FFB5-E833-454F-8487-A34342495DFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8896d1b2cd565cee1a74dd031aaacc0e55a69fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3386301,"id":"Q3386301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18d6e15b099aaaf3bb254166fa23293ba52e3e3","datavalue":{"value":{"amount":"+0.8213805556297302","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":"Q3172909$7B50AFB7-E2AA-4D0A-A353-E4FEC82522D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aedb57f5fb97a87506c49dd7bf5955cba817340","datavalue":{"value":{"entity-type":"item","numeric-id":6044127,"id":"Q6044127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b788bd65302b3b6c9d3cf6c29eb04b19c39abaa","datavalue":{"value":{"amount":"+0.7940584421157837","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":"Q3172909$D798D47A-FF55-4A4E-96F5-5FEF1C57DA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc72ff6f0b14f148a179b5bd3915977bf23280e1","datavalue":{"value":{"entity-type":"item","numeric-id":5941100,"id":"Q5941100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5255fa6b139149f5a4ac7835db79e742881a7330","datavalue":{"value":{"amount":"+0.7876545190811157","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":"Q3172909$D8591148-97A7-44DA-9B4C-CE70F82AF8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b1df651a26642865f2f63d15886ca9292d8f63","datavalue":{"value":{"entity-type":"item","numeric-id":3003330,"id":"Q3003330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a13b5af694b364af0a3c5aa5e46eba0d63a0be","datavalue":{"value":{"amount":"+0.7846482396125793","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":"Q3172909$88A384B7-9C46-4BD7-93E5-3A9F9BB9A3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7db2e6c90798e3e7be3aa35f58d3f4a6a178630","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7534e46c8d247e2813bd5d16146d02f9ab674e96","datavalue":{"value":{"amount":"+0.7302800416946411","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":"Q3172909$8757BE2A-1118-49CA-AEB1-1C806BD5F2E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking EGF on basic parallel processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_EGF_on_basic_parallel_processes"}}}}}