{"entities":{"Q5282957":{"pageid":7312531,"ns":120,"title":"Item:Q5282957","lastrevid":100699436,"modified":"2026-06-05T22:53:29Z","type":"item","id":"Q5282957","labels":{"en":{"language":"en","value":"Model checking auctions as artifact systems: decidability via finite abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6747870"}},"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":"Q5282957$3C8CD415-4780-4518-A44C-E4E46B34B9C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f78cb036a57c7ae248a56403db50347119ae4fc8","datavalue":{"value":"1366.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282957$ECE80E3C-2DA1-4A00-BECF-F08750EC99B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52000320d108ee6b6146ae320a672f6ae77321de","datavalue":{"value":{"entity-type":"item","numeric-id":785240,"id":"Q785240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282957$30915C65-0319-40EC-B526-8B136B408805","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62e26106cac22eebe80c29038bb39eb76039e480","datavalue":{"value":{"time":"+2017-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5282957$C9004A17-0580-4DB9-B534-624CDB1CCA9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bf89073da851cf66dc37f2842fb63fe0b4b0ab5","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/36920","type":"string"},"datatype":"url"},"type":"statement","id":"Q5282957$B057C96D-061D-4EC8-91BC-1650F81F12A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282957$D77E1FED-74C8-4CAA-AF6C-52853A176CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282957$D59D4C7C-23A3-41DE-B3F6-4986A317F3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e419163fd9b5f210c8c0c28cdb07c2197a2bcac","datavalue":{"value":"91B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282957$20F85CF7-F6B4-48C9-9934-2432C817FC62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a84dd13232dfae09089aadb6a7b653fed77b7e7","datavalue":{"value":"6747870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282957$C2BF4B7F-0CAB-4030-98FB-D6942D90627F","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":"Q5282957$EC8D8F2C-65AF-4910-A031-25A879F8C552","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93faaa9962d10c14d4161abd3ffbcd421cf540b9","datavalue":{"value":{"entity-type":"item","numeric-id":2925412,"id":"Q2925412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107ff4bfadaea15516be6e61387bfc3f2bbd6df9","datavalue":{"value":{"amount":"+0.7848376035690308","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":"Q5282957$659CCF01-AE66-4CED-A5CD-ECF1CAFE9EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5004d31e30982496f502b5d79221821d0a921ed2","datavalue":{"value":{"entity-type":"item","numeric-id":4576204,"id":"Q4576204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ddc555158f0108454db670cfb9892bec1134156","datavalue":{"value":{"amount":"+0.7759621143341064","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":"Q5282957$73D22931-3475-419F-B97A-09A96A4A11E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e3da64809ca2ceb798b0bb93f137e26c683a09","datavalue":{"value":{"entity-type":"item","numeric-id":3601792,"id":"Q3601792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d06eaf775ec108ff1e740807aca85fcc77d5ca8","datavalue":{"value":{"amount":"+0.7744086980819702","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":"Q5282957$58B3EC26-01AB-496C-963F-654C8C073CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb631eff3d7a428208226cf4e5fce0ff7d7aebf8","datavalue":{"value":{"entity-type":"item","numeric-id":3527275,"id":"Q3527275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8bb869178ef55a00de726d0801be4a3e10ca70","datavalue":{"value":{"amount":"+0.7388133406639099","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":"Q5282957$1FACABAF-B0A8-4109-98C4-C824CD8141FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6288a8490258e4fafa84dad91f9da5fabc7e1e4","datavalue":{"value":{"entity-type":"item","numeric-id":5283018,"id":"Q5283018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36dabfdc3f334e21a65b942edc20fe87a8b76f4e","datavalue":{"value":{"amount":"+0.7243397831916809","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":"Q5282957$B1B7A328-7391-4834-A4F9-2BD48081D6E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking auctions as artifact systems: decidability via finite abstraction","badges":[]}}}}}