{"entities":{"Q6041166":{"pageid":13175267,"ns":120,"title":"Item:Q6041166","lastrevid":93738884,"modified":"2026-06-05T05:00:46Z","type":"item","id":"Q6041166","labels":{"en":{"language":"en","value":"Numerical invariants via abstract machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689272"}},"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":"Q6041166$5251AF76-0439-4BE9-8560-326FA606B7C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e16d743d2bd29d3d9c6b1eafc3ad849e2bb904b7","datavalue":{"value":{"text":"Numerical invariants via abstract machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041166$9494CA7F-B427-4279-BDA4-12BBB1F608FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c710d0b2250d3515a88ae54bdbfb3ce70cfd07ac","datavalue":{"value":"1511.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041166$907D3CF0-F6C5-4356-9527-9401AF633ED2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c5a169f5be06283266af05bfc12066cba7304f8","datavalue":{"value":"10.1007/978-3-319-99725-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041166$C6A2CCA8-966B-4452-9A99-33BA4217B256","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92fad1b91985a3c82f5ef7ee93b79eb62f914c5d","datavalue":{"value":{"entity-type":"item","numeric-id":832151,"id":"Q832151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041166$C7C056AD-000A-4EB1-951D-9FD2B4697F2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041166$E62F9CCE-EA7D-4C99-BCD6-C5820A4725E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-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":"Q6041166$76FEC675-B801-47E9-82C3-544AE43C1A42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041166$170F962D-CEEC-41C7-87A4-539691DD6A0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75e84d0c3c9f1e793ffb4d37cf2dc5a28763f77e","datavalue":{"value":"7689272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041166$96A37D09-90BF-434E-BD69-094DAB33212E","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":"Q6041166$11E16AA2-9D3A-4E68-8C2E-31E58A595359","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5be765bd25523ba664a9c64bda8756c721edbd0b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99725-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041166$C55C1455-BE35-4E4D-AFC2-838ED80276CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9393aa29fdaddb16ba1c3dee568020c0ee3e8df","datavalue":{"value":"W2888926773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041166$0A9DFCB3-AD9F-4DF8-8F35-116F34AABAB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa34527c6b5d45adb099a4dcaa909553bf42d43","datavalue":{"value":{"entity-type":"item","numeric-id":2922530,"id":"Q2922530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c65089303a7291563f47f7fa354b5bcd4e9a75","datavalue":{"value":{"amount":"+0.9000186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041166$C09CA526-4303-4CC2-8EE1-154FEEFE5EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ec72013d152f0e5421e9ed17ec9caf1bc0e53e","datavalue":{"value":{"entity-type":"item","numeric-id":1604830,"id":"Q1604830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79941bd5e2738203f61e3360d20b57bcf75534e8","datavalue":{"value":{"amount":"+0.88123226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041166$F38E94F6-A12F-49CB-9AB8-5088346F7A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88a1dd58828752c544ea33ffdcbb6c932772abd","datavalue":{"value":{"entity-type":"item","numeric-id":4257796,"id":"Q4257796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79941bd5e2738203f61e3360d20b57bcf75534e8","datavalue":{"value":{"amount":"+0.88123226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041166$3B8A6DC8-EBF6-4150-ADA1-4455CBFD06E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841ab43fd166006981c37d12b18869c97d21a37c","datavalue":{"value":{"entity-type":"item","numeric-id":5622176,"id":"Q5622176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c95bf91bfe2e849c3d2727f54683c00cb103f8","datavalue":{"value":{"amount":"+0.8807139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041166$4285586D-0D99-43A3-AAB1-F073CC179828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8e5c68a579d1a415f85160f50de6326a7acdf0","datavalue":{"value":{"entity-type":"item","numeric-id":6060344,"id":"Q6060344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e811251f9df3daefb504c808bd931038359e3e","datavalue":{"value":{"amount":"+0.876312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041166$73008C6F-FE36-443B-82ED-5249C8317071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02aee647b4db56aaed566f3473308273f7450702","datavalue":{"value":{"entity-type":"item","numeric-id":5250229,"id":"Q5250229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbd3d1b55e12300de7ebebd44d8560b82496667","datavalue":{"value":{"amount":"+0.8700602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041166$440AA6D8-03C3-49F1-8253-6D018C13E193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046485cf932daa49b6aa4b00007e43f3099e9667","datavalue":{"value":{"entity-type":"item","numeric-id":4335098,"id":"Q4335098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71a6391a12fb7763424b1fc1b705d43497b1a7ff","datavalue":{"value":{"amount":"+0.86911947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041166$36A1FD8D-8064-4E74-A590-D8CC0C13DC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6110a6391a1a6ccfe2e6dc545804d085afd21fa1","datavalue":{"value":{"entity-type":"item","numeric-id":3770642,"id":"Q3770642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af1b2368ad0b00bee5d5b678852593fb1040abb","datavalue":{"value":{"amount":"+0.8676711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041166$0A9D502A-647F-4B23-9E03-CEE8735C3C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84286ea6de926bc47dedd0017a4f36f61f19f0cf","datavalue":{"value":{"entity-type":"item","numeric-id":5394179,"id":"Q5394179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b091c04f913a34d12a8f9d10e6192c6442affaa","datavalue":{"value":{"amount":"+0.8621423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041166$11890B48-3301-4D3F-BE5C-B7DB20D05CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b2936d93f435b5f5d0cd2416bf68c2ff6d1a121","datavalue":{"value":{"entity-type":"item","numeric-id":5906433,"id":"Q5906433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ff0ee11349a740ccd867efda8a89cd780b9f8a8","datavalue":{"value":{"amount":"+0.85955995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041166$9C7627C8-54CF-4835-84B0-B4D4C4155333","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Numerical invariants via abstract machines","badges":[]}}}}}