{"entities":{"Q3030258":{"pageid":3040974,"ns":120,"title":"Item:Q3030258","lastrevid":79869047,"modified":"2026-05-06T14:53:55Z","type":"item","id":"Q3030258","labels":{"en":{"language":"en","value":"Ideal Arbiters: Analysis and Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018393"}},"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":"Q3030258$903467BA-B065-4A69-AD2A-55E4FE520175","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2e18b20061f5bfea5744a911abf24cff6013789","datavalue":{"value":{"text":"Ideal Arbiters: Analysis and Design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3030258$4B87C4DD-BE0F-46EE-BC4A-A2B6463FFD3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66c3ff64db4cd40c43d0a7c3654465aa707ffdcc","datavalue":{"value":"0626.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030258$CB0E5966-3073-43E2-8DC4-70FECC35588D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d12d898b2deab7958fc6b3286a95285802ea0a7","datavalue":{"value":{"entity-type":"item","numeric-id":202491,"id":"Q202491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030258$DFC81F1F-B62F-4CC0-B16D-9454EDC7C5D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"de25d43c8f0c20f3be3e971446b0470b82ca3666","datavalue":{"value":{"entity-type":"item","numeric-id":3030257,"id":"Q3030257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030258$CA78C435-EA53-4194-AF27-1200DA36086F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3030258$56447CD9-1E93-4FDE-B6D9-C4CED9C556ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030258$B0ED65F8-3B97-4D4E-858E-1E2CEA8D5DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030258$C001D779-0B2B-4BC3-AF7A-1E95A7DC808D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030258$D82B91DE-3565-4E1A-96AA-9E26B557C65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030258$931CDEF1-ECB2-4660-A283-C92C52A57178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030258$247C44E1-B30D-41BA-94A4-A79BE37C59BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9988c6c6772b82dbc795789a02605cc8baaff76a","datavalue":{"value":"4018393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030258$6DEFB2F5-DD02-4E0D-B0F5-4A82E5A06D97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad48e133cf2deb673318cbf5ba0234b9a9294e33","datavalue":{"value":"arbiter automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030258$42DCCAB9-B3C2-4B40-A921-DFA8C790CA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f95d879e711a9ec5ca45e79849473e892f28825c","datavalue":{"value":"ideal arbiter for concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030258$6651414A-1408-4F24-9CFE-2C26B62384EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030258$21500384-DF9B-4FC4-BED3-FDE025A8C0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f64ab0968fcf667e9d47292735bf0654c5ba8f","datavalue":{"value":"discrete-time automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030258$696BDDA3-AEEC-470B-898B-DD03FEB6F949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d463b247e815798d799459507ebd3bcfc87bfad","datavalue":{"value":"Boolean circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030258$58BB638E-04D2-4DAC-BD86-A4768E78F0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030258$ED62CD2A-1F1E-42CD-805A-283411334C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b76a5f96cd2aadef4a656a5e792c750f2bab46b","datavalue":{"value":"delay","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030258$17FE5723-9A04-43B0-A9BB-B2E46EB3D674","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":"Q3030258$DB459BC4-A7D7-4295-88D8-423651B08BD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dc8600c05e44383df7ecc4f39edc9681fe451cf","datavalue":{"value":"https://doi.org/10.1002/j.1538-7305.1987.tb00204.x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3030258$8F2F8970-9E01-4E4D-8446-C203B1671A9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6766ea3c916f806e5fdb51799629803b41936be9","datavalue":{"value":"W2016499434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030258$F6FD143C-D53E-43E9-8A40-8D08185F15BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2a3e79bd3beab87ab56ab9eb2ee3bd8fe8b7a1c","datavalue":{"value":"10.1002/J.1538-7305.1987.TB00204.X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030258$7F032F53-2D70-4A62-908D-C5E722AA7798","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24e02a1c496637255edcaf1655987d22f76c2a26","datavalue":{"value":{"entity-type":"item","numeric-id":2895777,"id":"Q2895777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14006e9676c6b43c69b62885e041395f8ad46ee3","datavalue":{"value":{"amount":"+0.781732976436615","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":"Q3030258$86284FDA-ABD6-4E2B-AFD7-FB8DB7C2C427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921b34245aa9160953d7d12b4d1fdfc5d9b69f5b","datavalue":{"value":{"entity-type":"item","numeric-id":3075202,"id":"Q3075202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544df87b201f4df434974f95d81f6443c55a68b5","datavalue":{"value":{"amount":"+0.7631630301475525","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":"Q3030258$4CFD0022-DB49-4F7F-BCCA-9965483C9A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e8970fb20ab553f973500c4cc220eb39db65e3","datavalue":{"value":{"entity-type":"item","numeric-id":5138492,"id":"Q5138492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8948ba78207d42372f7c7c86aa918cf4b66932","datavalue":{"value":{"amount":"+0.7520335912704468","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":"Q3030258$5B4A3A6D-0848-43AC-87F1-D00433F45D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525f755d2a3a4d53226dc526389115bf81d53fb1","datavalue":{"value":{"entity-type":"item","numeric-id":1193741,"id":"Q1193741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acdf9fcb4f4672a5dcdc6c8c01540863f4a56299","datavalue":{"value":{"amount":"+0.7475320100784302","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":"Q3030258$8EFE7DB9-302F-4330-ABD4-5797DFB344DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"009ea8bed69c9fbff36f889c2190cd44f202a779","datavalue":{"value":{"entity-type":"item","numeric-id":1884984,"id":"Q1884984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31081814571a9bd58dfe69832cc33bd32bbc62c2","datavalue":{"value":{"amount":"+0.7456837892532349","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":"Q3030258$75FBB88B-E9E9-46F2-AB89-70AA39BFDF81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ideal Arbiters: Analysis and Design","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ideal_Arbiters:_Analysis_and_Design"}}}}}