{"entities":{"Q3525153":{"pageid":5555057,"ns":120,"title":"Item:Q3525153","lastrevid":80896310,"modified":"2026-05-06T17:14:56Z","type":"item","id":"Q3525153","labels":{"en":{"language":"en","value":"Proving ATL* Properties of Infinite-State Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5342681"}},"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":"Q3525153$637F38D0-B183-4909-98EB-E3049AF97E82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d479d005b80cf5273b269fc525c1c8b8dc7aead","datavalue":{"value":{"text":"Proving ATL* Properties of Infinite-State Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525153$8D047E7D-5016-4EE7-B21B-1858A4FA84CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23b1b1472f1a4903388c88606422ea6a35486f3e","datavalue":{"value":"1168.68428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525153$F15AA21D-219B-4F0B-B253-245328DF8EB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e5c6a54b27f8513ed9e704c957753b48e4a0674","datavalue":{"value":"10.1007/11921240_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525153$005A7C1E-14B9-44ED-B584-0879192F5629","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51552329d9968f14796d523ec34f62d01bbca3a8","datavalue":{"value":{"entity-type":"item","numeric-id":939162,"id":"Q939162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525153$92AF93E8-E345-48BE-9269-464C54BF98EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f855518fb46fa7dca45fa528b8f90a55e336b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":812050,"id":"Q812050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525153$D3AE2EDA-0F3C-44DD-8084-C70456B24359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525153$E4781D60-538C-4C9A-BA44-3170EE69419E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525153$DDC676A2-AD0B-46D7-ADB3-823E36574B47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9b70832020d0274379b3b309a7c6882590833b7","datavalue":{"value":{"time":"+2008-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525153$F36C8534-7125-4D3E-B887-66A8A3872E1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525153$BDA84284-7519-461C-865C-D0637D2C59CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82541b4a7d09047ae4228d446a633fce0e90d4f7","datavalue":{"value":"5342681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525153$0A063A63-051E-41B4-AB2C-F38EF6C45D13","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525153$7BAD0D43-5B0D-4EBB-9C99-03637AF3DCC1","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":"Q3525153$71C27749-D971-4929-979A-87DE1797CFA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4465a0b9af1ee8ff798eb4d1b6534eb10ba0c9d","datavalue":{"value":"https://doi.org/10.1007/11921240_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525153$DB29C89F-9D91-4628-98F3-B5BAF665ECD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fd5d1f093d5ee163f7d42909801237b702eca8a","datavalue":{"value":"W1585114414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525153$7E6DA322-81B4-44F8-BB48-4581C6075C94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01514d559d58832684c19c4d29bada8db50d7810","datavalue":{"value":{"entity-type":"item","numeric-id":939163,"id":"Q939163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1104e6a4ea1652ee9f49c7bc33ccb4929c17f48a","datavalue":{"value":{"amount":"+0.8557206988334656","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":"Q3525153$5B3DCFC6-38AF-44A6-88BB-629042E3C941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5036979fd2d39034468b67ee4766a1f7b5caf6d0","datavalue":{"value":{"amount":"+0.7867740392684937","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":"Q3525153$0F1AC93A-B1EA-4FBB-BAD6-3E8BA21A4301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813e89fa2adc3db1930757e134780ad5a61ab0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4817052,"id":"Q4817052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e9b8dbbafcbe3f00239eb729508c3d7331e9cc2","datavalue":{"value":{"amount":"+0.7787970900535583","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":"Q3525153$5619A039-DA63-490F-A607-89A2083AE8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534c732d5c617b36b436c4b80cdfdff269a9acc1","datavalue":{"value":{"entity-type":"item","numeric-id":4737004,"id":"Q4737004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e65a57ccfc7bac675bf7ce8463b69a2c6916c8b","datavalue":{"value":{"amount":"+0.778343915939331","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":"Q3525153$22C444F6-F5F1-457C-A830-BE483B4059AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75f8ee1b680fdc51f9610989ebf52c4e6c8d6a1","datavalue":{"value":{"entity-type":"item","numeric-id":2368988,"id":"Q2368988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b545ddce2bf60f192e20705f9af62a18f7d5c52","datavalue":{"value":{"amount":"+0.7726646065711975","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":"Q3525153$B171CE40-BDDE-4B70-B909-49D5E392A523","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving ATL* Properties of Infinite-State Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_ATL*_Properties_of_Infinite-State_Systems"}}}}}