{"entities":{"Q5282949":{"pageid":7312523,"ns":120,"title":"Item:Q5282949","lastrevid":52858292,"modified":"2026-01-23T16:03:07Z","type":"item","id":"Q5282949","labels":{"en":{"language":"en","value":"Decidable model-checking for a resource logic with production of resources"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6747858"}},"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":"Q5282949$3B23AFDB-D788-4948-9C01-3717C6C8BB0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee7162f73935c6c294447c51c71e871ad9dd8035","datavalue":{"value":"1366.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282949$FB629798-D66F-47F0-A235-FCE4E7EB3555","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06b9d3e98376955f4f1468110c0445691894ccd","datavalue":{"value":{"entity-type":"item","numeric-id":208223,"id":"Q208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282949$473F03A4-EAF0-493E-85B6-4865CE2D6FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d52aeee7b8bf072b0ab639aadd1e7acccb1b466","datavalue":{"value":{"entity-type":"item","numeric-id":208224,"id":"Q208224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282949$0E0C0DDE-4686-45E8-8BB4-E39A47D06679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f31cbb69d992932609412c99f70ead74ade8028e","datavalue":{"value":{"entity-type":"item","numeric-id":514141,"id":"Q514141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282949$8DDB0C49-A99F-4AF0-842D-1732F17DA53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"462045eb4c5374d9047918caf1a69c2a2d3c23fa","datavalue":{"value":{"entity-type":"item","numeric-id":310085,"id":"Q310085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282949$49EC8C71-82E4-4AF9-9E65-339FD9609E89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62e26106cac22eebe80c29038bb39eb76039e480","datavalue":{"value":{"time":"+2017-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5282949$A0495588-D505-41E0-8BA7-2FA445466B2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6df7d3a8345bd347703d47d572d425e6b5143f7c","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/36908","type":"string"},"datatype":"url"},"type":"statement","id":"Q5282949$61B9CEA8-7A6C-443F-A51B-21DCB9F987E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282949$BA637E71-A93C-4C87-B3D9-52A6CE2A76BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282949$C208C56E-D5A3-4D86-A686-050002C37E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282949$3CEC839E-B66A-4FD5-893C-7892495BCF20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31ddc555f7750652b42e2bc2e900f22b2c4f4d70","datavalue":{"value":"6747858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282949$E9D0AF13-FA3E-4A9A-B608-FCD7D8A2063C","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":"Q5282949$8CBAC333-7DB5-4F76-BFBD-BAA1147496EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a134433a3b04a89aa9aa2230b6d94b8a3ee315c","datavalue":{"value":{"entity-type":"item","numeric-id":2361350,"id":"Q2361350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b203e81a139eb8dd33d863e95ee3c10ef082d03","datavalue":{"value":{"amount":"+0.9524561762809752","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":"Q5282949$72A07142-ED95-40C4-8BF5-CAD23E20A061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67bf86debead7fd2566610f12f7e431501eff23","datavalue":{"value":{"entity-type":"item","numeric-id":3103974,"id":"Q3103974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b61f02f65cf312736e7c907f32361eea007be4f8","datavalue":{"value":{"amount":"+0.818818986415863","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":"Q5282949$0A1F9569-7169-438B-B2F6-F69EBC9D9201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee7a99128e065b84ecac2151e9818c5954c79d7","datavalue":{"value":{"entity-type":"item","numeric-id":5915568,"id":"Q5915568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0fe8608b6a10793d2a3c4e1202881f92ef24c6","datavalue":{"value":{"amount":"+0.8129094243049622","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":"Q5282949$F777DCDB-BA8B-4222-A61B-A0015E709042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7132c7cc43469e1fe0830381e2b0dcccb3d8ed","datavalue":{"value":{"entity-type":"item","numeric-id":5915899,"id":"Q5915899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b78e7414dc1ccfaaa92b84b182f27ada34547371","datavalue":{"value":{"amount":"+0.8084453344345093","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":"Q5282949$4EF5DFC8-1F75-45D0-9988-A07034D9019D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488992a8ed2236fa72bb60da72cabdb5695e8e16","datavalue":{"value":{"entity-type":"item","numeric-id":514142,"id":"Q514142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d859ba4efed540fab6b4bbdc4e3078192973f804","datavalue":{"value":{"amount":"+0.7799263596534729","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":"Q5282949$45410FB1-0322-4F7B-8C57-500779D2460E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5282949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5282949"}}}}}