{"entities":{"Q6044127":{"pageid":13178283,"ns":120,"title":"Item:Q6044127","lastrevid":47851531,"modified":"2026-01-02T21:22:10Z","type":"item","id":"Q6044127","labels":{"en":{"language":"en","value":"Model checking PA-processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7686631"}},"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":"Q6044127$0A927AD1-777A-44FE-88D2-1E73AE76769B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61aca4f01aee2688d6b0413e0e84092fa074849e","datavalue":{"value":{"text":"Model checking PA-processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6044127$868F03FD-463B-45C0-BAE4-847DCB133C82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0259e5fab2699c38a5274f427a2ac6bbff85eb4","datavalue":{"value":"1517.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044127$A4DC5157-72A3-45BD-8585-3DC1632F4BA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2eb62240e090eb46f252d8d133efd68b75d5c71","datavalue":{"value":"10.1007/3-540-63141-0_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044127$7F037555-230F-49ED-BA66-75670E792B98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044127$9BCC3F08-01EB-46C7-B5E9-B567025EDC70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2119d755bd5d418a3808091d51c0bc708f312de4","datavalue":{"value":{"entity-type":"item","numeric-id":6044104,"id":"Q6044104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044127$E8C200DE-2DB9-41A5-A0A1-8C6E08C7FA18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e173d8a6d5fd8f9048a4897c8fc35d9b27bdc36c","datavalue":{"value":{"time":"+2023-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6044127$0C064A1F-A586-4424-8AD3-9AD0B421D6D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044127$9384D9E8-7064-431B-A856-C7A59EF69E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044127$DD39F41A-CDEE-4778-9EE6-7F503CC2BEFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af2bca58a9de9b91e9b1e87813a629ec2065c8e1","datavalue":{"value":"7686631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044127$24407F78-C66E-4215-AA63-32A6F536DFC8","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":"Q6044127$23E544EC-0347-4569-AAAA-1EB870DBDC43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f86e2b0a35828432934e4ed131153cc6dca67590","datavalue":{"value":"https://doi.org/10.1007/3-540-63141-0_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q6044127$5D803DC2-4F44-4395-B528-F7B31F6B13E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c32c08dd8e5a9a2dbe79152209250a93bdea2689","datavalue":{"value":"W1492575876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044127$DE88D363-E23A-403D-BC91-71711F0AB6D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"833c500a528c9d138c07be282d8c9aa8f5d7df13","datavalue":{"value":{"entity-type":"item","numeric-id":6162100,"id":"Q6162100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044127$2AF8C158-1B2A-4698-84BA-C724318945F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044127$49EE2C63-7B45-47CB-959D-DE4454A9F312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044127$932F062C-0A15-40A4-B70B-6369FF33E02F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc72ff6f0b14f148a179b5bd3915977bf23280e1","datavalue":{"value":{"entity-type":"item","numeric-id":5941100,"id":"Q5941100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f70382388ebdcaef5bc7f3801d0808d4bc6e82d","datavalue":{"value":{"amount":"+0.8497378826141357","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":"Q6044127$28B9601C-E7EE-4A8B-B504-219C790D5228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e84b6344986cc52961cc02df09f34681c2834e6","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2485c3387a89d6097824e7811ecdaf3d043156bb","datavalue":{"value":{"amount":"+0.8426907062530518","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":"Q6044127$70043C50-630F-4A30-B33F-F20AE10E4D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0ce561ec9a25dd0f89095b4d05aba6cc03a1b1","datavalue":{"value":{"entity-type":"item","numeric-id":4610333,"id":"Q4610333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920163343b0bba05822d9f377e9c422eaf63fad5","datavalue":{"value":{"amount":"+0.834926187992096","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":"Q6044127$177CD300-616A-48B6-9A71-A441FEAC3496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03694b9002b7a071c189e9711830b285f2f00cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4251913,"id":"Q4251913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35886023215a131bd77a92ae37221eeca01220a","datavalue":{"value":{"amount":"+0.8288229703903198","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":"Q6044127$E800894F-BC47-47EE-9DEF-807B16424897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798174fe63c42137909f6029302fb872ec8e4c36","datavalue":{"value":{"entity-type":"item","numeric-id":2754156,"id":"Q2754156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35886023215a131bd77a92ae37221eeca01220a","datavalue":{"value":{"amount":"+0.8288229703903198","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":"Q6044127$4E044F31-7B5D-4D03-83CF-CB931609C567","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6044127","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6044127"}}}}}