{"entities":{"Q5146592":{"pageid":7176163,"ns":120,"title":"Item:Q5146592","lastrevid":94678169,"modified":"2026-06-05T07:26:22Z","type":"item","id":"Q5146592","labels":{"en":{"language":"en","value":"Characteristic formulae for fixed-point semantics: a general framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7301456"}},"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":"Q5146592$02283073-A5F7-430A-B20C-034CBEB9F61C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39798cec64cb2baa83f2aca646e8f79308cdd918","datavalue":{"value":"1456.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146592$D58A9D33-A8B4-440C-88C0-1AC75D912B7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146592$8E656971-4577-4F48-8DA4-C702E64E8F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146592$3D0DD12A-9E33-46D4-B138-F1E878D7D6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c966e7dbbd59a484367bbf8cf75fa2113f8ffd32","datavalue":{"value":{"entity-type":"item","numeric-id":426788,"id":"Q426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146592$293A046A-E4A7-4122-A80D-333ECD234BD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c37197fdcc622dda62b1a70d213b12db611eb0","datavalue":{"value":{"time":"+2021-01-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":"Q5146592$88280E82-195F-4073-B5CF-8720C817B88B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba8b6263d3b9ccc3d00c36fd75b26b15cee7c18a","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2009.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5146592$6D06A645-2597-4C0D-8F4B-1B13E13B74A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146592$6FBF0BD1-CA32-48EB-9BEF-08978617353A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146592$0162588C-A8F1-45C5-ACA3-89837AFB02F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"876c58a900546f94076e455a2aab1a7cfe8de9e8","datavalue":{"value":"7301456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146592$A61AF25A-475A-448E-8F42-4CA127A3DCDE","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":"Q5146592$60E19038-2B25-419E-9A1E-26BD0B1412B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88978ae85c7669f1474add396d88ce2da66adab5","datavalue":{"value":{"entity-type":"item","numeric-id":2883115,"id":"Q2883115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77c4a6fd6a39fc0a2af90074e652369890d3ff6","datavalue":{"value":{"amount":"+0.9869667291641236","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":"Q5146592$76AD1C61-81E6-433A-BBBB-379101B702AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34f8d4f505f48d0f1c55fcfbbb875af46de138f","datavalue":{"value":{"entity-type":"item","numeric-id":2891432,"id":"Q2891432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519db79d09b20a1ba0e59c29aff68670027d6faa","datavalue":{"value":{"amount":"+0.8007169365882874","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":"Q5146592$BEE7FD11-E729-450A-86E2-61C5AAB94A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2429e25a9a79504574b22f49bfb45dad0f3e5d8","datavalue":{"value":{"entity-type":"item","numeric-id":5854734,"id":"Q5854734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289c47e345aa1356956509d88179455986867969","datavalue":{"value":{"amount":"+0.7955002784729004","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":"Q5146592$1CE4F7D2-63A6-4E4F-BE42-B31755ABAFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72766b26d6e4ce09467fce0db7eb52dc4387f38c","datavalue":{"value":{"entity-type":"item","numeric-id":2942777,"id":"Q2942777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3db343c0de0362a7aea4950fdaa965a403c2fb4","datavalue":{"value":{"amount":"+0.7734583020210266","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":"Q5146592$3F3548B1-88B8-40ED-9667-45A7A13D17D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec46893a4b4c0b93f133ccc054aee10052ef6958","datavalue":{"value":{"entity-type":"item","numeric-id":1322469,"id":"Q1322469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c58c409299bb69cb24abcaa768de4753fe92b0","datavalue":{"value":{"amount":"+0.7590159177780151","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":"Q5146592$69973BCC-1A9E-4574-89EF-1F8189BF03A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characteristic formulae for fixed-point semantics: a general framework (scientific article; zbMATH DE number 7301456)","badges":[]}}}}}