{"entities":{"Q2747754":{"pageid":2758493,"ns":120,"title":"Item:Q2747754","lastrevid":47685565,"modified":"2026-01-02T10:35:19Z","type":"item","id":"Q2747754","labels":{"en":{"language":"en","value":"Finite approximations for model checking non-finite-state processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658242"}},"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":"Q2747754$EF52D704-E286-411A-BE99-3D0EE5F84C2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d32d68a9a5430404fc854c07efe87b04bcc23d7","datavalue":{"value":"0982.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747754$AAC9ABC1-F797-4AE9-99D6-B99AB9872F03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b47e2687c339099320ed3ae6a6e7a67c0e7c742","datavalue":{"value":{"entity-type":"item","numeric-id":816204,"id":"Q816204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747754$5C4AD7E7-3AF3-48FC-A42E-DA3BEDE13EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"558370a88e7c439ba7e3c3eadd7c0f5c89653110","datavalue":{"value":{"entity-type":"item","numeric-id":246444,"id":"Q246444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747754$C44205D7-6BBA-4353-823B-AFF207999E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2984005ce562423e705837ece60ae424b1f13","datavalue":{"value":{"entity-type":"item","numeric-id":246445,"id":"Q246445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747754$23D9E0B2-29C7-4EDC-B422-1FB5203FF749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f900f77ef10c59a03f069c5af5579652c6549dc","datavalue":{"value":{"entity-type":"item","numeric-id":672233,"id":"Q672233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747754$80F3C022-1340-47C7-AF18-CD7F8F22D0D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c13d1740a28716c4c5bfcac03995e635a2c76533","datavalue":{"value":{"time":"+2002-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2747754$6A924CE1-8B8E-4AF6-B598-01DF03B40E7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747754$3D744B5F-2A65-4AC2-B79A-4A7B4929B87B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99ada4bf77f65039ceb0d799dd0d34f6ee9e840c","datavalue":{"value":"1658242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747754$60017BC2-2C8A-4FFB-BC75-9746F5B6FBB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747754$40C06993-9F1D-45BA-8BD2-50EA9D5A10D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a1b30901fca304d7488fe95db3eec87e0eb25ed","datavalue":{"value":"finite-state transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747754$5E059A01-AD7E-4564-AE4C-EEEE5E8778ED","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":"Q2747754$81DBCE89-AA8A-4F43-B14C-DE4909DBA465","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2abf3a715e5261455738f9de1ea353bb8688a1c8","datavalue":{"value":"https://doi.org/10.1093/comjnl/44.2.109","type":"string"},"datatype":"url"},"type":"statement","id":"Q2747754$DD93ACB0-4BFA-4AE9-85BE-E0F32FCF9915","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60c9dec1cdc4b8cd1adbd061beed9bf5a0731f37","datavalue":{"value":"W2103522639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747754$D47FA865-5853-454C-8E32-45949565A3FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b5c754e820d569be105eb0902f8135f43e8d0c0","datavalue":{"value":"10.1093/COMJNL/44.2.109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747754$C51D7ED9-30C7-49C4-8754-33805905A6BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f36424ff2cda0afad36d61f10a0fb447b7248bbc","datavalue":{"value":{"text":"Finite approximations for model checking non-finite-state processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2747754$F236CCCC-0F21-4696-981A-F20E3C025D9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6a0bdd8998eb86ef97e8e0d5b3adcd7d90578311","datavalue":{"value":{"entity-type":"item","numeric-id":6768742,"id":"Q6768742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747754$E05EA260-7D73-4344-BBD2-E21154057598","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545707998a61a98b18dec62a91417c42303a808d","datavalue":{"value":{"entity-type":"item","numeric-id":1323345,"id":"Q1323345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed1c4ab41019812f7fe46e1237f77ef3f860405","datavalue":{"value":{"amount":"+0.7869137525558472","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":"Q2747754$F03991DD-3FEA-4C09-ACDB-B0BE2E5372E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d847ab10c890ec5ca9b471f950f46d8e8e218e","datavalue":{"value":{"entity-type":"item","numeric-id":2894572,"id":"Q2894572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e8f3ba1ac11f67795f76bb1f7a504388140dc3","datavalue":{"value":{"amount":"+0.7590129971504211","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":"Q2747754$C80FD541-A592-4B2F-92E3-219CDB79BDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5b43b408b2da4a683dba83631a428854b25f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5491850,"id":"Q5491850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e479318b3e76dc49ce35639aeab01b0313a02c93","datavalue":{"value":{"amount":"+0.7415140867233276","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":"Q2747754$0CEE1C3A-D1F7-494C-A5C6-371DBB0A1905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bdac1f1c1a76983fe6d83ef0444d0589cd92602","datavalue":{"value":{"entity-type":"item","numeric-id":2760246,"id":"Q2760246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1105a9b878054b1dd30f43e65a6e7bd974802e4b","datavalue":{"value":{"amount":"+0.7389097213745117","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":"Q2747754$DB007270-4B2E-441B-A717-8A84AAC24254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab708b87e2154529b600539565947a2ae82c8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5292626,"id":"Q5292626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b618b96e01c3d9014e0c0514ed5ec32a52bb3d53","datavalue":{"value":{"amount":"+0.7287964224815369","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":"Q2747754$8916BF72-D1DF-4093-9B82-2819D4760292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2747754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2747754"}}}}}