{"entities":{"Q6535340":{"pageid":14146483,"ns":120,"title":"Item:Q6535340","lastrevid":57344307,"modified":"2026-03-30T14:07:57Z","type":"item","id":"Q6535340","labels":{"en":{"language":"en","value":"Model checking linear dynamical systems under floating-point rounding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7777298"}},"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":"Q6535340$1399126D-4046-40CD-96A4-88FDBE2F1A06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78521bb816ef45caee8869ca32da47dd53c27fd5","datavalue":{"value":{"text":"Model checking linear dynamical systems under floating-point rounding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535340$FF5BCEF4-5337-4BA8-9716-64D4AAAA48B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1263740c669c13a5cd7cb87a1e1d2aaf50da1f16","datavalue":{"value":"1543.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535340$E4D31E01-1F56-45CE-8FC7-1CAF47472D30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3358e6d4e2138923cab538aea91478417fb1238f","datavalue":{"value":"10.1007/978-3-031-30823-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535340$BC6878C1-5DFC-46B0-82E1-D50FF76A9DD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e40f8335b4373d4377ddbb7c5fcf2e4c426cc56","datavalue":{"value":{"entity-type":"item","numeric-id":832092,"id":"Q832092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$ABB2D815-8723-4269-95A3-DC87B086306D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$AE66D6B9-9E16-4813-BD42-B793C39F619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20f5b4127431a252123fabe9a9dd1834e29c1af","datavalue":{"value":{"entity-type":"item","numeric-id":832261,"id":"Q832261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$058F0D39-9EC4-4FF4-AFA4-23743D43D42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2c711e83f06255d606c4ea6cea3d02db48533f5","datavalue":{"value":{"entity-type":"item","numeric-id":6535339,"id":"Q6535339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$C1388FD6-0AD1-47C7-ADF0-E467937A864F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"370dd048328bd35e66746fcb16650fb884273700","datavalue":{"value":{"time":"+2023-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535340$485FD3FC-6A94-44BC-B29F-222059229087","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535340$FC2B9640-4472-4E4F-9322-A01B21A45C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535340$DA2AB8AC-7E32-4912-8505-F03F0A61D5C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"907bd4ff5b666e94d0638312f79dd1896e354dc9","datavalue":{"value":"7777298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535340$850CEB40-FF4F-4A6F-BC7B-689E36810DFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535340$3B1D0712-2F3B-4CFD-952E-E8A231E34BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00216556e27ad3bbc2d642874d0693b52d5f53d1","datavalue":{"value":"floating-point arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535340$55921B64-8925-4093-87A2-AB1513B53363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554ce1904bc7aad8ab28dec67ee5f4a3db655bbe","datavalue":{"value":"dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535340$4BFF7835-FF74-43C7-9C6E-B14D5F80EADD","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":"Q6535340$B0F13938-2E48-4048-9AAF-D93E5FD577AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5092c873ef656ee967cd2ec413ec0e79326e5e7","datavalue":{"value":{"entity-type":"item","numeric-id":2233510,"id":"Q2233510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$8C67514D-9D42-4055-9217-A257E1F354E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1212c8425b239752c05c7ca478ec7f069c4d8361","datavalue":{"value":{"entity-type":"item","numeric-id":477610,"id":"Q477610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$6B2B056E-9D53-4462-840A-9D13880EDA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"000a322b4bfe63426a5a0b8e3f90e5b77e47bbee","datavalue":{"value":{"entity-type":"item","numeric-id":6490959,"id":"Q6490959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$7968AEB9-1A0C-4A29-9ECC-D213952C5D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33aa4f9d9add52010e245c13a9dabad56f52cf63","datavalue":{"value":{"entity-type":"item","numeric-id":6587115,"id":"Q6587115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$81A9ECB4-CD89-4D90-B9AA-47E94AE3583D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff2fc38a1c6d0355da657aa7a8e730fca84d2b","datavalue":{"value":{"entity-type":"item","numeric-id":2024356,"id":"Q2024356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$22A8BE5D-C990-43B8-814F-02BC0530D05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a638c0e55a028078b162b5e8eb287d8c9b4d6898","datavalue":{"value":{"entity-type":"item","numeric-id":6584014,"id":"Q6584014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$08A5D476-86E2-41A5-9CF1-BDFA8986BAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1fdb745992585236d8b46bb0113602daefd8179","datavalue":{"value":{"entity-type":"item","numeric-id":5756742,"id":"Q5756742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$26FEA2FF-7631-4458-9F71-D85CD111186A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9bc39146e899db0053fed6008a811d0a4dbfdb","datavalue":{"value":{"entity-type":"item","numeric-id":3177796,"id":"Q3177796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$309DEDBD-6BDA-4879-A43A-F595A7D515DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d4ed851d990db3691385bee7099f420a0e75ab","datavalue":{"value":{"entity-type":"item","numeric-id":6168448,"id":"Q6168448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$3CB04803-A47A-4900-9553-AEDF726EDFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9786bf71ac9796a8c539c246e599a2a43687a2a1","datavalue":{"value":{"entity-type":"item","numeric-id":6584037,"id":"Q6584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$428A625D-8E75-4EE0-BACC-0EE573BD8D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4719fb59209121c58d2497b93ce038b91f5ca3","datavalue":{"value":{"entity-type":"item","numeric-id":3462041,"id":"Q3462041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$1D81F582-C0C3-4796-A952-2F5677AC8C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ddc2eb2c2c7e4de88bf7b1e42e663c1e6cd2d2","datavalue":{"value":{"entity-type":"item","numeric-id":2680877,"id":"Q2680877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$6A6BE4D8-9275-4E93-B8AE-8D22105A0B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c507e499c469d00641322bf899945ad89055f63","datavalue":{"value":{"entity-type":"item","numeric-id":2233493,"id":"Q2233493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$3FB5BF2C-2AE4-46A2-B803-EE84B6732183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a68a761aac9f03ae3efd279a4679b02865ebd62","datavalue":{"value":{"entity-type":"item","numeric-id":2112097,"id":"Q2112097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$340ED8F5-8E74-4BF5-9175-B36B38EC8614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$D85135EB-73C9-4DC0-846A-7D462C463531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f21fe6b91a9127407c7e54ae1ade44cee80b24d3","datavalue":{"value":{"entity-type":"item","numeric-id":5383986,"id":"Q5383986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$06E8EFAE-F740-42F8-80E9-C25D27202482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784b14d2d99bbe3eb59d9618f5ee94b36bfdf7d2","datavalue":{"value":{"entity-type":"item","numeric-id":697038,"id":"Q697038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$F110BB2B-2312-49AD-9939-1EC91FF2449B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c10eb504c74e47c89ec8f43dd8fd893e917cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5312946,"id":"Q5312946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$75FD508E-12BC-41CF-9C5F-DBD4681800C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42051158bd8db8bb06b1f4287ce9f9ecb76b7324","datavalue":{"value":{"entity-type":"item","numeric-id":539162,"id":"Q539162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$9D7EDF14-A64B-489A-B353-59537E6877A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20075a920c222b8ecbe006eed4bf2f38562d7697","datavalue":{"value":{"entity-type":"item","numeric-id":6113969,"id":"Q6113969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d955c7e96c6064348591d4226bf68a42fc528a03","datavalue":{"value":{"amount":"+0.7223344445228577","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":"Q6535340$8CDD2F90-A773-4E0D-A032-995234C9772B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad0b2df3e592f750ab795c4226809ae86946776","datavalue":{"value":{"entity-type":"item","numeric-id":6535604,"id":"Q6535604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa0d20c478611c9f46b508aa25f56e0c075cc73","datavalue":{"value":{"amount":"+0.7134479880332947","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":"Q6535340$93A3B47D-B201-4D05-8388-B3503BB0CA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"befada3e603074299733df94fcd4b18eeb0014d6","datavalue":{"value":{"entity-type":"item","numeric-id":3507439,"id":"Q3507439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d516c2953bda002a77e6313b60a682ef70a3f91d","datavalue":{"value":{"amount":"+0.6863970160484314","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":"Q6535340$461DD600-2B47-48DA-9F83-891540871752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20f55c64d55a62fe18840c50ec4bccb8fc70a62","datavalue":{"value":{"entity-type":"item","numeric-id":1664396,"id":"Q1664396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb8afb69d028781ab5f190167dfb6def17e5e10","datavalue":{"value":{"amount":"+0.6798582673072815","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":"Q6535340$519E9CBA-5AF2-4C2D-AA58-58281160FCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963ba71e3e1fb415af8a419d959e809128dc467f","datavalue":{"value":{"entity-type":"item","numeric-id":832249,"id":"Q832249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7911edcf93edec5763b367ecf79022eb2e60fb","datavalue":{"value":{"amount":"+0.6773808002471924","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":"Q6535340$EAA6DBC3-D106-44B9-B983-3F03A2C88333","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535340$8411B1D6-BC5F-4F5B-B3EE-E8547F4D5A41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535340"}}}}}