{"entities":{"Q6091334":{"pageid":13225641,"ns":120,"title":"Item:Q6091334","lastrevid":93907733,"modified":"2026-06-05T05:24:54Z","type":"item","id":"Q6091334","labels":{"en":{"language":"en","value":"On Reachability in Parameterized Phaser Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770570"}},"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":"Q6091334$89CC08BC-BE91-4166-B18E-0C1084B0786A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e8627f20a113c8018dd93eb732932358d1cc871","datavalue":{"value":{"text":"On Reachability in Parameterized Phaser Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091334$6E1EED99-097B-4909-941C-2E07F39C1F95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a63543fb450b51bb2f29d56769eb38de7b4f9c5a","datavalue":{"value":"1527.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091334$3E648F92-5DC6-49FE-BCDD-B403A0280D16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb97c70caf38b5a6da3ddb34d309d543819ae28f","datavalue":{"value":"10.1007/978-3-030-17462-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091334$84A74F60-0E3A-4AE6-BCB9-481E0BBD2BE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d44540ef88d43d2d362ac5018344ddb3ef76fc0","datavalue":{"value":{"entity-type":"item","numeric-id":2796042,"id":"Q2796042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091334$2CCC953E-C326-4EBB-95AE-AAD4B376EA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db2b9505b07169ac2970e5fecc30e68f1e9e332","datavalue":{"value":{"entity-type":"item","numeric-id":1039840,"id":"Q1039840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091334$F2C05921-6F3E-4972-B4F3-02F512B45CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c806b0e03062caa1c880f57960df403606c01f23","datavalue":{"value":{"entity-type":"item","numeric-id":433337,"id":"Q433337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091334$DCC1E967-5E84-43AE-BCFB-A29239F4695E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f605079e493fe7f06005c0f959e04cefac427078","datavalue":{"value":{"entity-type":"item","numeric-id":483963,"id":"Q483963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091334$9702D2AB-B9DB-49AD-B42A-CCC1D670DC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e9518156ec50c89dcd0c85ef395442fa254371","datavalue":{"value":{"entity-type":"item","numeric-id":483964,"id":"Q483964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091334$6D3A052E-A24F-47B7-953B-B4F133A3EC36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091334$3B539D09-BFA0-45B1-AD1D-04C8CABCF50A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091334$C0EED9D6-755D-4A04-8C8A-12483F1782FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e8f0ae4640d4ca337307d0ef2a1a2969201c0f2","datavalue":{"value":"https://arxiv.org/abs/1811.07142","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091334$2620ACC9-3431-42AB-B6C9-147BE293B79C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091334$26F10896-67FF-4AEA-ABB8-6C9A28BC592F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091334$F14E4585-E204-4B88-BF66-A73121B00B10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5c08bfadccab1ba83d54ace17c8a5d58146c5cb","datavalue":{"value":"7770570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091334$04ECEDD7-7C18-4B17-B73C-BA03FABF0DFB","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":"Q6091334$5D01BC3F-6AB1-43EA-92C1-936441BE09AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee47620a8ee3c0085dc9e0aa2b302363bd123e2","datavalue":{"value":{"entity-type":"item","numeric-id":1693222,"id":"Q1693222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87bfdcdecf29907b0abc331fa510e7620f07f25","datavalue":{"value":{"amount":"+0.7922050952911377","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":"Q6091334$2F56E7F5-3E48-4617-8E82-92B156E3E8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8295b0fdbc7c7acf06c199dc491bd159b8cb5375","datavalue":{"value":{"entity-type":"item","numeric-id":2360652,"id":"Q2360652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b32b24b8e4c455ba5aae4830c689da0e92c7840","datavalue":{"value":{"amount":"+0.741621196269989","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":"Q6091334$9CC112DB-55C4-4F18-A853-58DE79C94A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37a362d214d39636c985928d616222826bb76f3","datavalue":{"value":{"entity-type":"item","numeric-id":2851071,"id":"Q2851071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60895170875ba5ded2887a57157127293d1d84fc","datavalue":{"value":{"amount":"+0.7069706916809082","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":"Q6091334$8B6B5C55-BC25-4909-BC1D-32E70806322A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03056cd6fd8a0f8a8889d3e4530069103850bc5b","datavalue":{"value":{"entity-type":"item","numeric-id":4737126,"id":"Q4737126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d40a9229bf8043acd9c254b9394595f09ceb7b3","datavalue":{"value":{"amount":"+0.6906242966651917","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":"Q6091334$8083A18F-1F58-4527-A030-3C5A38B30E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15439f3cf83687ebe873c6e883b89c1daa495af6","datavalue":{"value":{"entity-type":"item","numeric-id":5172645,"id":"Q5172645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275fde88fe985e4aa794dde9b3564301840b215c","datavalue":{"value":{"amount":"+0.6894534230232239","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":"Q6091334$FB33E523-D709-4778-9606-132522425721","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":"Q6091334$3876D87E-C034-424A-A41A-AB335790F212","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Reachability in Parameterized Phaser Programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Reachability_in_Parameterized_Phaser_Programs"}}}}}