{"entities":{"Q2096435":{"pageid":2107178,"ns":120,"title":"Item:Q2096435","lastrevid":43513144,"modified":"2025-07-30T11:23:13Z","type":"item","id":"Q2096435","labels":{"en":{"language":"en","value":"An SMT theory of fixed-point arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614504"}},"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":"Q2096435$64829085-EDEC-4896-A8B0-D45D76CC937A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ad1ce541918b4884e693abbd550cd432cd086d8","datavalue":{"value":{"text":"An SMT theory of fixed-point arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096435$1F08CB6F-4C00-4959-9AB5-7D0AAFA92420","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6d589484b0aa3f0c92251b8b9616834b8f22b1e","datavalue":{"value":"10.1007/978-3-030-51074-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096435$6C8C3C9D-B523-47CB-B667-7C4A87B388B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c766000952cca708671d08c3c76d3f26a3f10fdd","datavalue":{"value":{"entity-type":"item","numeric-id":784115,"id":"Q784115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$D54A5DCD-C018-49C5-B257-247E26AF4043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91fe1cb19090cbafd2a250660a31ddc4330d60bd","datavalue":{"value":{"entity-type":"item","numeric-id":682351,"id":"Q682351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$57221D26-80D3-4782-879E-7F7D19BA5DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c89c102957361390b3ef264cc8e76d8ac6001f9","datavalue":{"value":{"entity-type":"item","numeric-id":2096433,"id":"Q2096433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$C9FD1C5D-972C-45AD-997B-E36389AC2A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e3d66f1696ddb6ec3f0ebfd58f9b400a00365b1","datavalue":{"value":{"entity-type":"item","numeric-id":2096434,"id":"Q2096434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$8B1ECD22-371B-47F3-B6F9-246CEDCC1A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11f2b24824a3159e3071b1a76accae952fad828c","datavalue":{"value":{"entity-type":"item","numeric-id":470004,"id":"Q470004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$1964D030-DBDB-4EC9-AB2A-799932A6A270","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096435$08030E03-68B9-4D52-A2B5-56270A8DBFCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096435$95BC6709-24F3-4C80-907E-C8DC82656A23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"428a4b58ef6ab47ac30fb127b1f9b15b7082b852","datavalue":{"value":"7614504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096435$FAB50A52-B10A-42AC-9F2C-F9746E6E5A1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096435$E942AC2F-4C86-406F-8FC2-3EA58CF7BE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e5cf016139445db227d3d9c40846221ad303d5","datavalue":{"value":"fixed-point arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096435$D9155C8A-C68F-4BA1-9E2E-D370CA819814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096435$73E3AFF0-B98F-48F6-A577-4A053378B04A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93403021c48a812d9127910dbcaae98db02c160e","datavalue":{"value":{"entity-type":"item","numeric-id":33328,"id":"Q33328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$B47D7B5F-89B5-4CCE-9918-5D32DEA1D4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"550af4745ee61c125520a209383c6305679e155b","datavalue":{"value":{"entity-type":"item","numeric-id":35084,"id":"Q35084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$A379C48F-6F0C-413A-BD30-3E0B64B006F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47940455efa095731183157ace3eea6702b58a42","datavalue":{"value":{"entity-type":"item","numeric-id":31667,"id":"Q31667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$16EDFB82-AFB5-427F-815F-DD40FFD76C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$6EF54F66-3606-4DFC-9F04-05E267B15104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$7A729A55-C289-44B9-A69E-B4D9A1A913DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$2101CE23-9545-44C3-B38B-A479C50D805C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e04aa926dc79457d313fa39599d20474b6244f84","datavalue":{"value":{"entity-type":"item","numeric-id":38020,"id":"Q38020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$9A92C05B-E4A0-4605-A8A3-C8EC10FB5085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$81305050-F380-47EA-B3FB-22F90E390053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$9133F6C9-9568-4570-B730-9A79A8E3AE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$8517175F-288F-407D-A9B5-B8A9CE68DE73","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":"Q2096435$C602E351-F383-4570-8427-F2D7CE031036","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70477b4bfcb8fb16eb1d7876b59bc5391b5cd70d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51074-9_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096435$A5D75ABD-FA36-44A7-B6F2-E00F7B6536F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd0c737e855a278d883d38dd6b2dd3d385f853a8","datavalue":{"value":"W3040611682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096435$CD8B178C-BF6B-4DBF-82DF-340F0D4A27C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33244f7bb6c04da758d56eac971580e07b647512","datavalue":{"value":{"entity-type":"item","numeric-id":479837,"id":"Q479837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$6579DF27-FAF8-4F11-BBFC-A700C6A265AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4d5df30bde2099983c3bf5f07484cf1031c989","datavalue":{"value":{"entity-type":"item","numeric-id":3181652,"id":"Q3181652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$C186E2CB-0DC8-4273-9ABC-F90C9CE9D709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$6EBCBB7F-571A-42CC-9CF9-623D3C653475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb6d472f2c7f9f708f23c8743f7ecd8b5662116","datavalue":{"value":{"entity-type":"item","numeric-id":2164244,"id":"Q2164244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$8485F5E9-3D4A-4F7E-8932-D35A6D8B2BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0530cff2ea3a00fdf0e71f199a08187bea8b91","datavalue":{"value":{"entity-type":"item","numeric-id":5096089,"id":"Q5096089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$2E038907-B382-454B-8C95-7D59C5181DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f64dc3b77585aac20b4f3d7105d6d9d1361fe4a","datavalue":{"value":{"entity-type":"item","numeric-id":5164169,"id":"Q5164169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$25CFFBF0-97C9-4948-AC3A-CFB46CF08AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d76610be2db7a475aae1f8e37aec5be549c297","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$F4483D9F-B6B9-42BA-BCCF-FDCDEA510BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c48cc560b409d49a8557b49c60f6d76bde09c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5354403,"id":"Q5354403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$F66FE01B-92AC-4C6A-84C8-F9F1C33345B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08692ec17efb2121733af239d0da3e4335d043da","datavalue":{"value":{"entity-type":"item","numeric-id":5125889,"id":"Q5125889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$9EC3740A-9F83-4780-8DC3-0F0CAF621CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea4728999f2c2cfb259f0aa0245339515471e80","datavalue":{"value":{"entity-type":"item","numeric-id":1799086,"id":"Q1799086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096435$BA18EA3E-DCD6-4F9C-817E-10B59EA66424","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096435","badges":[]}}}}}