{"entities":{"Q2324221":{"pageid":2334964,"ns":120,"title":"Item:Q2324221","lastrevid":56742834,"modified":"2026-03-23T11:14:12Z","type":"item","id":"Q2324221","labels":{"en":{"language":"en","value":"From natural projection to partial model checking and back"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105327"}},"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":"Q2324221$A076B98F-70D5-451C-91A2-AD9345820D6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c107c4145fd267b817ca0677b30373b4f01920da","datavalue":{"value":{"text":"From natural projection to partial model checking and back","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324221$AF7F0E66-CC2F-44CA-9AEB-4EFD3E36F867","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19f7cdb73418bd319dd607fd24dbc4aac384ed73","datavalue":{"value":"1423.68275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324221$470F709C-A571-4879-89EB-8B395A24021A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e9f6076600efcf0f12b44c751104f12372d798c","datavalue":{"value":"10.1007/978-3-319-89960-2_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324221$33245C2B-69D8-473D-A440-43CA8D3F9EF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb400ef8fa16142b5400d0e07f8eeb5fbf93266","datavalue":{"value":{"entity-type":"item","numeric-id":418360,"id":"Q418360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324221$91909708-0C2D-4312-8C87-4BCCBB7830C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7bb162510b2b0d71f00b9cc3b462417f1dfa69","datavalue":{"value":{"entity-type":"item","numeric-id":275995,"id":"Q275995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324221$AE1671F6-A784-4334-BF1A-40561E28CD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324221$D63EB536-724E-46E4-8D26-A432C5E11416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5918a5af7052cd2efeb6ba73cd51149fe732ee","datavalue":{"value":{"entity-type":"item","numeric-id":1731515,"id":"Q1731515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324221$63B09A46-7399-4457-B67A-248B6E99D51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324221$A2E75668-CBC3-4C0C-9027-6D8D7DF7B8F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-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":"Q2324221$43CD1FC6-309A-4B69-AA6F-333DDD08CB46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324221$D4F7BF11-F2E3-4A45-8650-8349115BB17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324221$73812717-96FC-46DB-BDA7-26E3DDDC98B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"842d0501d3a5366176f48031785c4f3109cff35a","datavalue":{"value":"7105327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324221$B1BFD439-59A4-46D6-9B41-DA5E273B0DB3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"46c77f6f9e42a34cf39f3d9c43d363c1fdb22625","datavalue":{"value":{"entity-type":"item","numeric-id":28303,"id":"Q28303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324221$32F8FAF2-27BB-4B16-A2AA-E4C8233FD76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b57e0d1926dd0acf36ce8b6a80e86eefdeeca90e","datavalue":{"value":{"entity-type":"item","numeric-id":51565,"id":"Q51565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324221$697929B4-36BC-4105-9EEA-CE1F2D23D3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acbfaee7f6d880a925a0776f8a11b08399051930","datavalue":{"value":{"entity-type":"item","numeric-id":25554,"id":"Q25554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324221$E1BCF383-5107-450F-886A-728F76C90D56","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":"Q2324221$F16C96D2-F2B6-441E-97F4-738A5B97C83B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7867e0a248b6f469b8ffe6b3c8cc699ac5477076","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89960-2_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324221$30F7E8BD-B322-49EC-ACB0-68A2C0E3AECC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad6e7b53bb9ef35518175bcf7dd795406e64d61e","datavalue":{"value":"W2798243757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324221$73DF8100-741A-4B61-828D-4F4FD69EFB1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4044957613758c09641ef42f18d2121ffbb01095","datavalue":{"value":{"entity-type":"item","numeric-id":2208303,"id":"Q2208303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58345d937ff9f8b2dd5332b63ade5cdde73edda4","datavalue":{"value":{"amount":"+0.9536378979682922","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":"Q2324221$7A48A166-231A-4B1A-A15C-7112BE5B6697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e453b55fff9aa4dfd4ce23c9986a02d2e13412","datavalue":{"value":{"entity-type":"item","numeric-id":1856172,"id":"Q1856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f480a56d87feeb70d5d08da87ec922d52f210d0d","datavalue":{"value":{"amount":"+0.7363995909690857","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":"Q2324221$374573EB-AA3D-4F98-9B8B-85389DFD8DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f78cfeea4324d63cc6188dc5fcea341d4e7802e","datavalue":{"value":{"entity-type":"item","numeric-id":3569044,"id":"Q3569044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38928020594199e089d85064a18ef4d1b505c4fb","datavalue":{"value":{"amount":"+0.7330296635627747","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":"Q2324221$5451D419-11EC-4815-A2A5-CF1285986C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a427b764e0197157d310ea28b6d6d2e0c9e54519","datavalue":{"value":{"amount":"+0.7229446768760681","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":"Q2324221$D62A54C2-0020-4602-BA5E-35EF6CFE6614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5cfd9f03d9a0ba61f291e4026b26bede70abc","datavalue":{"value":{"entity-type":"item","numeric-id":4823139,"id":"Q4823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a427b764e0197157d310ea28b6d6d2e0c9e54519","datavalue":{"value":{"amount":"+0.7229446768760681","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":"Q2324221$ACB4F554-3761-4088-8055-00A8401A3B5C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324221$F6A4057A-2044-416E-9A36-AD95415866CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2324221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2324221"}}}}}