{"entities":{"Q4501540":{"pageid":6531133,"ns":120,"title":"Item:Q4501540","lastrevid":47014623,"modified":"2025-12-26T01:28:23Z","type":"item","id":"Q4501540","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1500523"}},"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":"Q4501540$7DF2E214-388C-493A-9B9E-D857B3C6E81A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"169da889e88de3300134f668629b291de2eff972","datavalue":{"value":"0962.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501540$02502D57-E615-4D0A-9779-CC7CD8BB5A4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f621ede52e0e400ed40e07c9d5b412ef629a170","datavalue":{"value":{"entity-type":"item","numeric-id":293425,"id":"Q293425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501540$8623233F-B55D-4617-AD23-46ABB4233939","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ecffbcc861d67047b31e273d774ed7bc043622f","datavalue":{"value":{"time":"+2000-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4501540$3896DF75-4060-48F7-8C0A-C6BBC958E1D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501540$57A137C2-8A46-4A06-ACC9-4158FCDDDC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501540$3A6CFB09-5FE6-47A7-A581-5B9EAA7FD191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501540$018622F9-D27D-4ABF-A789-EA75A0C03E7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5333869850e269563736df4bbca21354ee9eb228","datavalue":{"value":"1500523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501540$3F4DA33A-7196-48E2-AE11-F89B62AC14BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501540$276216D7-7446-455C-9FAC-1C0ECE8083C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffd36a5ce529f041548254b798b5284368bc66f","datavalue":{"value":"modal \\(\\mu\\)-calculus model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501540$0CFA015B-2856-49F5-B954-64FFDDAC2EB2","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":"Q4501540$76BBCF43-1062-4829-B71D-383C88747AF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f7dfd6b370ed0d6d94e2cc17413137437e22e2","datavalue":{"value":{"entity-type":"item","numeric-id":5144638,"id":"Q5144638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf7d849bfff366e3847d11ad79cdf77b559334a","datavalue":{"value":{"amount":"+0.8626471757888794","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":"Q4501540$B9189C29-7781-4025-833B-12F8E2C30BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518f41cc2a19d0a27d5f0aaf06afeb4d38fc9956","datavalue":{"value":{"entity-type":"item","numeric-id":5013885,"id":"Q5013885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32331503fef1c624aa013b164298cf8f26aea46","datavalue":{"value":{"amount":"+0.8582658171653748","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":"Q4501540$6117FDDD-132E-49A7-93CF-D02FF01149AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414c666cb797967a380e0bcce68cd42b27316292","datavalue":{"value":{"entity-type":"item","numeric-id":2763539,"id":"Q2763539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20cb70a964c14fb858004daa097c60b791e0b52e","datavalue":{"value":{"amount":"+0.8575688600540161","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":"Q4501540$54825F13-D298-4375-992A-5134C86BAC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ccd368406335fde13c85bc812bb9975dcabe08a","datavalue":{"value":{"entity-type":"item","numeric-id":5145340,"id":"Q5145340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9fa75876b21fd368ed1ec4183d3c68bd014331b","datavalue":{"value":{"amount":"+0.8453205823898315","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":"Q4501540$24A262A4-27D8-4D88-B178-61B52CE8BD4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4501540"}}}}}