{"entities":{"Q5881448":{"pageid":7910999,"ns":120,"title":"Item:Q5881448","lastrevid":97582868,"modified":"2026-06-05T15:02:51Z","type":"item","id":"Q5881448","labels":{"en":{"language":"en","value":"Abstract State Machines with Exact Real Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661916"}},"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":"Q5881448$22B8946B-DD5B-4C96-924D-AC5C9B3BDA69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec017d4a26f7aea76a2ff04f044f28b3e1613ffe","datavalue":{"value":{"text":"Abstract State Machines with Exact Real Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881448$4595EEE4-CCC6-4F06-A556-EEBA59BF967C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"279ec416398bb3b7148546510894aca4fc1371ca","datavalue":{"value":"10.1007/978-3-319-91271-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881448$2F4BD9C7-13A8-4CFA-94BF-1319C130486D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e134f54b434e40b1183bdd73e513d092e96978","datavalue":{"value":{"entity-type":"item","numeric-id":513342,"id":"Q513342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$664C3177-D99B-46B0-BC14-469521C58A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6081a22e78e5c0bc6cb05c9838a63ad14b1e9ac","datavalue":{"value":{"entity-type":"item","numeric-id":303690,"id":"Q303690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$B1943E66-0507-4C15-9CE1-1D29497AB97D","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":"Q5881448$96E08916-6B90-4E34-B859-C770B9F963A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffed8e8d30c95f79058c35c3950af7927ffd6a67","datavalue":{"value":{"time":"+2023-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881448$F3C41B1B-7494-4A90-BF74-C4DAF08A0681","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881448$FC22C0D5-5A77-47E5-92A4-480707A29C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881448$11AC7D58-2E08-4A94-B46C-8116778D426C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5731360a68a90d6fb88dd685e358540222b1eba4","datavalue":{"value":"7661916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881448$95865004-706D-445B-BE84-DDB546B3D79E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"52786b92850f8ee6f1f427fdbdd1a03fde406bc6","datavalue":{"value":{"entity-type":"item","numeric-id":18055,"id":"Q18055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$A104B33A-4430-4C05-B621-357CAB69B966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e512dc39995f2ce968725461f7500073f6e4eef","datavalue":{"value":{"entity-type":"item","numeric-id":14485,"id":"Q14485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$774B5D44-7D26-4E85-B8C2-43382ED94713","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":"Q5881448$B5EA9B45-49CB-474E-9DBA-EEDAE26F8432","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28777bb79ab98ead51bea1b544f25bf976ec7fcc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-91271-4_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881448$00B274A9-B395-4840-A53B-156DFD2B9E7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"673edbb171dad35b4b5f17aa928d218cbfa48eef","datavalue":{"value":"W2801666084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881448$25C39D00-C103-4C43-96AF-80B9E204968F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72e9f5fe2113610d834bbbdcc0b97c69e5902ed","datavalue":{"value":{"entity-type":"item","numeric-id":1806125,"id":"Q1806125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$E85A756A-D308-44E3-8F20-56B6EDAE4213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb0ed296864b4ccadc41a97a5586161ae30106d","datavalue":{"value":{"entity-type":"item","numeric-id":3396617,"id":"Q3396617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$98F61F33-FFC0-44AA-9530-E08FA8C76121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dadd920105fd2dc8c3c88d08d58848760b22122","datavalue":{"value":{"entity-type":"item","numeric-id":1125059,"id":"Q1125059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$44A01D5E-1D79-4681-A303-9403E4971C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$B4D8B527-E4A8-4755-B299-FC7360E629DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e268553b889623413c6c970c1fc9236f61d5925","datavalue":{"value":{"entity-type":"item","numeric-id":817863,"id":"Q817863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$1A502C31-AAB5-4839-836E-F85CF351E51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97dabd95b25194c784d1cce48dd1c4cc7c106863","datavalue":{"value":{"entity-type":"item","numeric-id":5294158,"id":"Q5294158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$0A5F7F86-94BD-40FB-A74E-FA9F343315F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370a7a9f2f12fff9703ef7acb9b288b6aa8adb3b","datavalue":{"value":{"entity-type":"item","numeric-id":4531979,"id":"Q4531979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$91E31ED4-D2AD-4523-B9D1-47A673AF2527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbafb4c632b6a6b9de7527d8aee97aca0cf6440","datavalue":{"value":{"entity-type":"item","numeric-id":1853641,"id":"Q1853641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$D159363F-CAD7-43DF-8530-7C6CE57EEADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312dcbdb4361e8755d36bb4d2280c7a2a7cea28b","datavalue":{"value":{"entity-type":"item","numeric-id":2373708,"id":"Q2373708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$4215E463-8B58-4E74-9D40-0D94D40DB9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f30365d42caf6766e6692a155b036d7f93a051e","datavalue":{"value":{"entity-type":"item","numeric-id":4531992,"id":"Q4531992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$69AC968B-C2DE-4216-9362-67898A10376A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fcd569ab4c59d85b734bd461ac6efa0f68a02b","datavalue":{"value":{"entity-type":"item","numeric-id":2995659,"id":"Q2995659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$0A1B252F-A37F-47CE-85ED-F084DFB44D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$CBFD945D-6BAD-46E8-8FD2-9EAD54A8254B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc1632419d2efbf8c2873793b87700efa5dc11a","datavalue":{"value":{"entity-type":"item","numeric-id":2878761,"id":"Q2878761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881448$B9883872-6FB4-426F-805D-D7E6D727EA73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c1f1226cf144a61ee70d2f9cd978b3ce98cca4","datavalue":{"value":{"entity-type":"item","numeric-id":2753699,"id":"Q2753699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae39c45d1d6a7f491f55d156f1f59ce255e0eaae","datavalue":{"value":{"amount":"+0.921744","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":"Q5881448$E74A1094-29AD-4041-ABD7-A52BA833CEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92480180b20204b980d74677954617388b1fb25c","datavalue":{"value":{"entity-type":"item","numeric-id":959826,"id":"Q959826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee54436a34a9636c1e78464979596a553caee62e","datavalue":{"value":{"amount":"+0.87704355","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":"Q5881448$CB46AE2D-E41D-4746-97FA-A6CC397B775C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ccf323b481844931e28d9931eeaa59281845165","datavalue":{"value":{"entity-type":"item","numeric-id":2767168,"id":"Q2767168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45de0bcf0d20c7d5b562f27109801879e20177a7","datavalue":{"value":{"amount":"+0.8706741","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":"Q5881448$71B549B9-F24C-4AED-ADB6-E42632B7D0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8091b0fe8409b4aae1046fa486f72e2cf12abd1","datavalue":{"value":{"entity-type":"item","numeric-id":4783310,"id":"Q4783310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe5b637a463823fc6792ec6c67c3c8c57f46cbe","datavalue":{"value":{"amount":"+0.8700999","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":"Q5881448$CA2E674D-2F67-43ED-9190-32C2DBA047C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3beb50c84c9889cfc98314786e87098ead01f895","datavalue":{"value":{"entity-type":"item","numeric-id":4680195,"id":"Q4680195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc7d101f6b0a31f64026c1bd3b9c36531803f8f","datavalue":{"value":{"amount":"+0.8679533","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":"Q5881448$4E0F7F09-120F-421A-A3B6-C0568B038D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"575c7998c4834ccdee3a00302c420da471696eea","datavalue":{"value":{"entity-type":"item","numeric-id":2753698,"id":"Q2753698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5178af3e5a69b639de93ad088cdf48a9b3cb52","datavalue":{"value":{"amount":"+0.8659142","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":"Q5881448$0CB47C8E-4FF8-48EE-AB59-8B62061042F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ba6d2e80c8228267b316f47978632be4c91ac54","datavalue":{"value":{"entity-type":"item","numeric-id":4520494,"id":"Q4520494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3d9248e05f9f59ecef1dcd165a1c062f6654e4","datavalue":{"value":{"amount":"+0.8581436","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":"Q5881448$75542ACD-A777-4FC9-8DF7-C8E623574852","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract State Machines with Exact Real Arithmetic","badges":[]}}}}}