{"entities":{"Q3460625":{"pageid":5240025,"ns":120,"title":"Item:Q3460625","lastrevid":80740874,"modified":"2026-05-06T16:53:40Z","type":"item","id":"Q3460625","labels":{"en":{"language":"en","value":"Relational mathematics for relative correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527608"}},"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":"Q3460625$BE3694C0-ED9D-4521-9E3F-6080DD944140","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d7b50e44dda1f24d5e01ced862f76e40fbbdbb0","datavalue":{"value":{"text":"Relational Mathematics for Relative Correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460625$6F0F6A99-500B-4698-93A6-E9AF49BC6FA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9ae78b771fba4e1f7277a6df4401756198236aa","datavalue":{"value":"1471.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460625$A7156088-4726-4CC2-A1A6-C617333689DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f86e4269f8d56abb092cfaf86e7ca0b0ebd0bd1a","datavalue":{"value":"10.1007/978-3-319-24704-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460625$77549324-30A7-462A-9655-6123BEAC7E71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460625$81D79070-310A-44EB-927C-432294B0E846","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460625$00C7D997-B831-4168-AE06-F302365947F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460625$FB5EED33-9A96-4D0D-80AA-93544AED9698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460625$BA559C65-0519-477A-B6E8-839668909EDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a9e1d0f337dda5b825641b76da2e94e6952b7ca","datavalue":{"value":"6527608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460625$2C7810D7-688A-4396-AE82-CC4152E45AF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b7f7700a6528730b8a01d854053278eea56f599","datavalue":{"value":"absolute correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460625$89647326-41F4-4F16-9781-EF4A9AB1E631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2383ee5fec19af54c623aad0601e5b754b2afd1","datavalue":{"value":"relative correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460625$E2FFBC61-AB96-47F0-8C1E-9BBDE62FA610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a25806b632bbf6802abf6838988ab6417dc0256f","datavalue":{"value":"refinement ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460625$1DACD874-51B0-437F-8C89-FF349289DBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbfc02b5abdb052db01de95a9ab8e0c2c163aa8a","datavalue":{"value":"refinement lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460625$DC6522B8-611D-48D4-BFE7-C136BC2F7B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6bba3097ce6233b7fb1ec8077bcefb3ebd21738","datavalue":{"value":"faults","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460625$8AD904CB-9309-4479-BA28-346F3DF4C15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fc2813ec13ce480a54988389e11cf6c72e4188","datavalue":{"value":"fault removal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460625$2C8E5FFD-A38E-478D-A574-C38AF9754FD5","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":"Q3460625$DF3782CD-E82C-4C37-BC7E-AB1F6518EC90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9adf2e229a12617035bc18fe415875686985b57","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24704-5_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460625$85F5ECF5-2D57-40FC-82E8-6B4A7CADD0EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c667fd6bbf4aeb675d3de2bbc03012332c19f4a0","datavalue":{"value":"W2279884163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460625$BF37A60A-7F46-4FF9-BB0A-AF2027DD39B3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"838a9d21c7d337dc53d568acbd9081fb719effb8","datavalue":{"value":"Q57526047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460625$C31598A9-CCD5-482B-A2BC-FF4D3B33C955","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19746a27349dbc84a0df419ba38f9e87b7f1656","datavalue":{"value":{"entity-type":"item","numeric-id":5410485,"id":"Q5410485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d6a7da8f14d1a22b46af73be7f3e2cd8418c32","datavalue":{"value":{"amount":"+0.7506495714187622","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":"Q3460625$3CE6D701-E21A-4A6C-921B-0909A973034A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976bfbe6bfcf935d0e90ee224d481fc7ffffb4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1350502,"id":"Q1350502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920303ffebcc9d91d4569db08439b082a3da109b","datavalue":{"value":{"amount":"+0.7177436947822571","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":"Q3460625$E2E196BE-EA1C-4B6D-9BFC-80B1005F20B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6d63872d79e73ab41bbf1aee390fa977a48d35","datavalue":{"value":{"entity-type":"item","numeric-id":4370276,"id":"Q4370276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc07d062266422d186076d35a50aec90785d6873","datavalue":{"value":{"amount":"+0.7005278468132019","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":"Q3460625$BBCC90DE-7D2F-416F-916E-C07BD97C70BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df2062477e400153324e8a42104b32141a25c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2265798,"id":"Q2265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7dd7d34eabd86abf63b935018e050c3570a86d4","datavalue":{"value":{"amount":"+0.6965835094451904","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":"Q3460625$CE0018EC-9240-43CE-9F14-E34CB0594CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8bb53d6fcf015983e1b7a00300544f342de8d2","datavalue":{"value":{"entity-type":"item","numeric-id":3651514,"id":"Q3651514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff359c04c56a7f028f0e2200520e9810502afb6c","datavalue":{"value":{"amount":"+0.6866713762283325","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":"Q3460625$FA04D8F2-602F-473F-95AB-8942775967FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational mathematics for relative correctness","badges":[]}}}}}