{"entities":{"Q4947229":{"pageid":6976811,"ns":120,"title":"Item:Q4947229","lastrevid":46904298,"modified":"2025-12-25T20:06:54Z","type":"item","id":"Q4947229","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1432245"}},"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":"Q4947229$8ED3F94E-089E-4B15-8261-1FEE9BD627CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a890308737b6d01c7104fef98e3c1618b6f3810d","datavalue":{"value":"0938.68641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4947229$14C9AC6A-4813-48D9-96DD-7DF8FAFAEE9D","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":"Q4947229$659A08C7-642F-4FFD-8E38-C813DCE90EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4947229$1C50009E-4AEF-4FE4-A052-8101FAAE5D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d51e810fd47678c79ab6ed884f9ec540921e9efc","datavalue":{"value":{"entity-type":"item","numeric-id":4947228,"id":"Q4947228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4947229$F5335F56-7EBC-40E7-AC46-ED09E1D97956","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":"Q4947229$EB5A9CB6-87E9-479E-9A72-B3A6CE68A0F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4947229$BF6EF50B-D56E-4A1A-B2F2-9031444F479F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d19675ddf115297a5eeb59bd29a403ca145c635","datavalue":{"value":"1432245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4947229$625227A3-F527-4827-A292-14B1BB704925","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"480c7613c23f20ec95930a8b84788e5cefcc6208","datavalue":{"value":"syntax and semantics of Mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947229$C22E3525-6543-4642-A8EC-57023FB09B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b3064812219f8f4f383819119e8a868098a6fe7","datavalue":{"value":"infinite model with real time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947229$5E09AFDE-46B7-4F51-A1DA-D89EDF2EE610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ead74acc44cf9beb162949a833c1b4c8d0801e4","datavalue":{"value":"model-checker prototype","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947229$D62D858E-D9A9-4BED-BE90-C92039F0C902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d0eb7b2352b0bb1ae5c8c5ed76f5187d80ef8b","datavalue":{"value":"finite-state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947229$E6FCF950-2D97-46FB-BE2F-171218E8A4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcb616c40f99d651ec044f3ce88ee96e5ed67761","datavalue":{"value":"model-checking procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947229$AC3E4470-D6CF-4C8C-9D97-B3574C8AFA87","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":"Q4947229$61C402C4-D3FE-4080-B29A-C7C5F5F69B7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93afce5a882bb00f86b73ac092423dc53a2d66a","datavalue":{"value":{"entity-type":"item","numeric-id":5902425,"id":"Q5902425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12408b50a9d5d4ed308bb79df93233cff0a1ad0c","datavalue":{"value":{"amount":"+0.8329157829284668","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":"Q4947229$D0C015CF-216B-43C7-9367-7BC7010E378A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b372590df06dd31bbbf717ef217515a92785c86","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9950011e5a964c99e38aa59580e0a554916b295","datavalue":{"value":{"amount":"+0.8312915563583374","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":"Q4947229$AFBD8E78-07D9-477E-9408-6F795480634B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60eb5e1f49a2dd68b2767e88316fcc20726e158a","datavalue":{"value":{"amount":"+0.8242883086204529","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":"Q4947229$B2DCE77C-1CFE-4DE9-AADB-378A788CED35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484638273fd78faea9e08b7616f3e25cecfe2b5f","datavalue":{"value":{"amount":"+0.7978819608688354","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":"Q4947229$A8715685-13BA-4EB4-B618-66A5E8AD7335","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4947229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4947229"}}}}}