{"entities":{"Q5900952":{"pageid":8007772,"ns":120,"title":"Item:Q5900952","lastrevid":97521461,"modified":"2026-06-05T14:56:45Z","type":"item","id":"Q5900952","labels":{"en":{"language":"en","value":"Combating infinite state using Ergo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5712690"}},"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":"Q5900952$6F0485E5-F9BC-46D9-B681-42F5303B3632","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e755fe21e5e57b0fafac7948892b6cc623c9993d","datavalue":{"value":{"text":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900952$16B138DE-520F-452D-9C29-804622D880BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d5f0a0bd819dd316a5ddbb3c602a201ea784e01","datavalue":{"value":"1279.68266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900952$FC45ADD3-5203-4F9F-9674-FFDC87607CBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b51b92546df8957e49ae6425409019581ea964b0","datavalue":{"value":"10.1007/11965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900952$6A874C14-27B5-4FDE-B26C-D10FC3E43DCE","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":"Q5900952$48D2CACE-E3AE-4A71-B4CF-AB7FCA66C9B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e10e35ad52bbf92f1ddeac6dedccab922b34f1","datavalue":{"value":{"time":"+2010-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900952$A3641CBB-8BD2-4DDF-9636-5E6DE8935D34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900952$8CF9D64D-1DEE-4DDF-A505-9919EB3D080B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900952$2ACD5F43-A4FE-4895-BD10-778027A550DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e63537e2bff96b605869b1aea0f3d99f86f14c05","datavalue":{"value":"5712690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900952$E6B0EDE6-FE42-4A68-AFC1-04E6FB4A55F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b277d65df20516e74fdb8020d87028335a5d2a61","datavalue":{"value":{"entity-type":"item","numeric-id":15551,"id":"Q15551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900952$AD9EB88E-9110-48B3-B59C-F7B7A12348C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"59de9499168d91da1b1ff36408be93f573928689","datavalue":{"value":{"entity-type":"item","numeric-id":30420,"id":"Q30420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900952$AB6DE629-131C-4F80-8F5C-7F7CC46DD7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900952$48CE9940-F1DD-478D-A27D-5106699AA4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900952$6E27DFBE-83EB-42D8-ACB7-08B15C73B28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e503d55a5d703622335d424b678f9b3554286a9","datavalue":{"value":{"entity-type":"item","numeric-id":37169,"id":"Q37169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900952$18CE4CEF-BE9F-45B9-BE21-D40C2044D88F","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":"Q5900952$C902DD28-DA10-48CD-BCB4-FAD160AA1265","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f80f6bf02446cac567d1602d1c0bfba7c481d3a","datavalue":{"value":"https://doi.org/10.1007/11965","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900952$8F86FEC1-205E-4DFC-BC43-29A4D27245F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfcc3f41cef94b59a52635ab7295500348eab25c","datavalue":{"value":"W2501695616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900952$CC5A4828-DC26-4D3A-94D3-896567455CC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a1754e9f24f53d0ad889d0482f26317c0f3b22","datavalue":{"value":{"entity-type":"item","numeric-id":4501131,"id":"Q4501131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baaa2a11fe1a7e2fd951bc4a38d1cf56e08237cc","datavalue":{"value":{"amount":"+0.7078935503959656","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":"Q5900952$116E9A4B-E05C-4A44-9F76-B259FA59F061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5979cfe658453256f286c1ae7050f9bd04c5570","datavalue":{"value":{"entity-type":"item","numeric-id":2754072,"id":"Q2754072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6ba2013014f0ea9bfea5d50daa7cad78dbcb89","datavalue":{"value":{"amount":"+0.697227418422699","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":"Q5900952$1EF1F13C-5D13-4219-979C-C37A0FF88D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c593662561f1d9f007b40aa183893b0c369c0fba","datavalue":{"value":{"entity-type":"item","numeric-id":5902412,"id":"Q5902412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c9366e43370fb8eec19e5bae9022c0923928b05","datavalue":{"value":{"amount":"+0.6948636770248413","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":"Q5900952$D12AD8EB-0F3D-4B4B-A9FB-5655A7B3FCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20d038d11aee5c7185d0401ff5cdc121b0afd1c","datavalue":{"value":{"entity-type":"item","numeric-id":5425807,"id":"Q5425807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90bcb6d9cf4d99a3a96540630ac5a86bb08c022","datavalue":{"value":{"amount":"+0.6820650696754456","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":"Q5900952$DBB908C2-2DD7-4588-AB98-6FD4384CFDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5b43b408b2da4a683dba83631a428854b25f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5491850,"id":"Q5491850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29016719af9ba94d3c68a43b61da805fdd82c7c3","datavalue":{"value":{"amount":"+0.6814743876457214","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":"Q5900952$3A7EC27A-70CB-4F1C-97B2-E7DB22427B63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combating infinite state using Ergo","badges":[]}}}}}