{"entities":{"Q2988831":{"pageid":2999555,"ns":120,"title":"Item:Q2988831","lastrevid":79773128,"modified":"2026-05-06T14:40:41Z","type":"item","id":"Q2988831","labels":{"en":{"language":"en","value":"Pebble games over ordered structural abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721527"}},"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":"Q2988831$782013FE-542C-4DF3-A3E3-027E74D501A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b43b5be8ee82d9d44d97481e2ad777b0d01c35f8","datavalue":{"value":{"text":"Pebble Games over Ordered Structural Abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988831$2F426EC4-4F6A-4BCC-B716-8309CFF3583C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49e02d37950655b305685f1b210c0fd66d35786a","datavalue":{"value":"1459.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988831$AFEF8FA2-D3AC-44B5-A9D1-1CEBBA13A83B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2bae90833ff466426b959e70b740a002f9602e5","datavalue":{"value":"10.1007/978-3-319-55911-7_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988831$86B934C0-A286-4C6B-9E8D-57F43E02A9CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8dc7ed37b3e1c1f9fa8241793f49a44b30a24eb","datavalue":{"value":{"entity-type":"item","numeric-id":2930127,"id":"Q2930127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988831$7B0AB599-A548-42A5-9769-8CB8D2FC01A3","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":"Q2988831$F20235E0-03D9-4393-9DA0-256BDD335D71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988831$4218E4CB-B1CB-4872-B608-FC9D61771391","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988831$87C7E174-57C0-4800-8A3E-8A77062477FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988831$B6B26157-BCB7-4E4A-B693-A14C659333C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1467778ad9140044ac3e5291a74ae819eec296a","datavalue":{"value":"6721527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988831$AE747B12-8486-433D-ABD8-629180D8AF15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988831$4AFC8CE8-D97E-4F68-85D3-E15A5F556497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4d2fd9d3aba13427b19742e855926a12038048","datavalue":{"value":"pebble games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988831$134658BB-2945-4619-A1E3-9FB90D1DE24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8380b1c3b51ae1448dd8a109cca662f74485e5ba","datavalue":{"value":"structural abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988831$0BE69EF4-CD71-4DAD-BA15-A3A037F87931","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":"Q2988831$58D004CA-FCD8-4596-A770-ADB47A7CCC6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d07a3d58d8776e9424fa1ab5a45bbff6ffd93bf","datavalue":{"value":"https://doi.org/10.1007/978-3-319-55911-7_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988831$DEE762EA-A65B-42B3-B9EE-A42576813E5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"228c71b747f1bc6e7f9363b9aad0535697e4d2ba","datavalue":{"value":"W2599918539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988831$D30376AA-A6F8-410B-80F0-43D1995CF37C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988831$92C0EEF8-597D-43F6-9D2B-52F0281707E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bccc04170b12cdfbc782f77a5d15185542badb7","datavalue":{"value":{"entity-type":"item","numeric-id":4143287,"id":"Q4143287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988831$F739C2C8-6629-4F06-8FDD-E149F4D91BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d639fb9d03ad258814bab0f3f43d6d28e28a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1173404,"id":"Q1173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988831$28A0F619-2B47-4C9E-816D-BA1D67AEF495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a650084c2b01883133d78255ff6ff7f2916617","datavalue":{"value":{"entity-type":"item","numeric-id":4744254,"id":"Q4744254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988831$1101D35B-652A-48D9-9189-77CB9B5187F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38536ac56318d7139bedb55860afb10d7e10aa36","datavalue":{"value":{"entity-type":"item","numeric-id":5753770,"id":"Q5753770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3b48cbda04764f2f4019fa53ed3a5cfa51f39a","datavalue":{"value":{"amount":"+0.7515872716903687","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":"Q2988831$E42C28DB-8D59-433F-8A6F-EFEFC7ED965C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f640911052f02a18512eb20add6b9d78608ad2","datavalue":{"value":{"entity-type":"item","numeric-id":1362906,"id":"Q1362906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9963f1fe681fd84f23b80a28094164a1bbbab61f","datavalue":{"value":{"amount":"+0.7225410342216492","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":"Q2988831$6D57280E-9B21-424B-9E8B-F8B4F2009112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8bd3be2bb5437aafcb3f28ead330cce5c317cb7","datavalue":{"value":{"entity-type":"item","numeric-id":4362728,"id":"Q4362728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d403b6e1d1b994f5c45e7602b3ca0572d489d5","datavalue":{"value":{"amount":"+0.7058207988739014","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":"Q2988831$3B34F0AC-7E06-4099-B072-8D5E4FB78CA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pebble games over ordered structural abstractions","badges":[]}}}}}