{"entities":{"Q4947313":{"pageid":6976895,"ns":120,"title":"Item:Q4947313","lastrevid":46904505,"modified":"2025-12-25T20:06:58Z","type":"item","id":"Q4947313","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1432328"}},"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":"Q4947313$419ABB6F-346C-46AF-8314-2873E7D8F340","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"776c5a8310460d5267e93e1cf7ff7c6df0e6fcf6","datavalue":{"value":"0938.68971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4947313$BE7A83B7-8DA8-4D67-ACC6-6D27B40818FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c260c4231aba4084aba36d6808cb368898d3287","datavalue":{"value":{"entity-type":"item","numeric-id":3877663,"id":"Q3877663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4947313$D70C2690-829E-4D7E-80BD-D8E76FCBCE19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd2d1fe82fa6e2c6e97c965e0ca8e16ed58495a5","datavalue":{"value":{"time":"+2000-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4947313$814BEB65-8EA6-453D-8CBE-7AF4171EFEFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4947313$A1272410-6C5A-41A7-BE34-FA2D54347C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4947313$97CF7ACB-6C17-44DD-886D-F9DE9D76D959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4947313$5A4D6FF2-FE43-4C6C-84FD-A236011D9209","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4500be684c08ba40ead9f9da865f9e19002d72d4","datavalue":{"value":"1432328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4947313$ECFA63B5-6CA8-4A6A-8FBC-867A94E850B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a228a1fac9a7af94612a5c0a437d441a72760ff","datavalue":{"value":"syntax and semantics of \\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947313$B933D5C1-999E-4840-B497-C7FEBF067DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a314f0ddb07c6c38800a619c4a14ee13539e94f6","datavalue":{"value":"finite process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947313$C42F519F-FB78-4F2D-9F90-D26DC6143CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cb198cbb181ee8f326fbc13c1eeb02a40b6a0c8","datavalue":{"value":"model with multiple clocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947313$2AC7C2CC-D855-413B-8514-81938F24CE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c6bdc6b2e71c5e605d1a52d3e99a3981d9142d6","datavalue":{"value":"verification of compound processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947313$11A87C51-6AE1-40B5-969E-00F2ABFEC615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8890987b519a068d1ab1d549cbec15a91f478851","datavalue":{"value":"tableau-based model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947313$39A3EDDA-6C85-49D6-8C50-D129145C70E6","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":"Q4947313$96F6F09D-A62A-47F0-85A4-6CE2F9D35A6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5588e6618354af73920adfdbe4cb7f378ef93f","datavalue":{"value":{"entity-type":"item","numeric-id":1858436,"id":"Q1858436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180f8fb29f45e8d9e97e05e5ba40b27a8b2027c3","datavalue":{"value":{"amount":"+0.813778281211853","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":"Q4947313$BF3089A2-43A6-48EA-90BA-4086990894A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866eb93d7a312d904dc3afb0662a9ebf8435c428","datavalue":{"value":{"entity-type":"item","numeric-id":4941895,"id":"Q4941895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f932012cbb74f2beb7bd7221b9decd072c506fe7","datavalue":{"value":{"amount":"+0.8050163388252258","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":"Q4947313$BDE2B228-B3D5-4C23-8276-FBA6B480D696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc508e5cb6549fe2a56d79ccccc703d4d9bccd3","datavalue":{"value":{"entity-type":"item","numeric-id":4947229,"id":"Q4947229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1773e0fdcd8d51a6af8de72a506bb15fdac7a48","datavalue":{"value":{"amount":"+0.7961229085922241","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":"Q4947313$8217E400-4982-4EF1-9145-0E5079577A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7094a3c988c734ca21ea53bc6ec6f202282d2855","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab00dac0b021fafcf028440e173ff79ec797f372","datavalue":{"value":{"amount":"+0.794582188129425","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":"Q4947313$085960FA-CB82-4D3C-BC74-649C31FCB349","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4947313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4947313"}}}}}