{"entities":{"Q2870770":{"pageid":2881490,"ns":120,"title":"Item:Q2870770","lastrevid":83954360,"modified":"2026-05-07T15:09:22Z","type":"item","id":"Q2870770","labels":{"en":{"language":"en","value":"Abstract Semantic Differencing for Numerical Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6248440"}},"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":"Q2870770$87562382-CBE5-4EE2-B5DC-76BEF045C70B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3663794549796a3ed57f20d3f3d4c7f7e23e7690","datavalue":{"value":{"text":"Abstract Semantic Differencing for Numerical Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870770$59D8D714-5443-4103-836A-4B742A941269","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35a36ef0f2596373efc057d49c33b3a2eb4ddcd1","datavalue":{"value":"1475.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870770$F11834B4-E24B-4901-8FCE-C91BCD1176FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57276d3e31fe4f1336e2643f8a7d5368d0246dcc","datavalue":{"value":"10.1007/978-3-642-38856-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870770$027AFFEB-42E6-48BF-87DB-87ADDADE5DFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b946077c0b7aae162a7ec17f50175750e16a9450","datavalue":{"value":{"entity-type":"item","numeric-id":2870769,"id":"Q2870769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870770$C008E51D-A4E3-4FE7-A513-B4B8F9A1D06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8ce85f8ab9ad80866582a2d5e4f0d4cad5e8b4","datavalue":{"value":{"entity-type":"item","numeric-id":300405,"id":"Q300405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870770$1F84E00E-BFDB-46C0-AC84-753B40C775D2","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":"Q2870770$DA431B30-DFA3-4838-8383-2EAB8146A6FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41a1e4f019ef435c314233e0481265bcc6e79494","datavalue":{"value":{"time":"+2014-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870770$95F6F314-6A28-4ACD-A245-A98A15F5BB48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870770$7D8771CE-32AA-4E90-9142-C166A944F4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870770$2EA29CC2-3CA2-4172-A661-DF3658631DEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0492b1d7e39d15fd166a934bd9c2313496704f50","datavalue":{"value":"6248440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870770$DFA290C5-7706-44E6-BCD9-9655EEAC67CC","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":"Q2870770$A02E932F-683C-449E-9EC5-C522C2810A67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c00643be01cc5044b3ec9c173bfb29469b01fc6b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38856-9_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870770$0FC53C13-3803-42E2-B2F1-53355654734B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb868c1b34033011c71411db2b4e590c4cb75273","datavalue":{"value":"W1750827721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870770$22F9F240-B48D-4870-AAFA-1C95075D96D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c937f8fc49ce24b29b61446f9b6cc913576c570","datavalue":{"value":{"entity-type":"item","numeric-id":5711510,"id":"Q5711510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed9a631c96a644c6f51092f5678fa2c9a4d4360","datavalue":{"value":{"amount":"+0.87240934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870770$1A465EF0-80EF-4E19-A659-F50E8638272C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b2cf45bdfbeced751a623edc45b2828ba7cefa","datavalue":{"value":{"entity-type":"item","numeric-id":1392276,"id":"Q1392276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fead5cf1561e29e4f6ef85c0b1daa660019a5f53","datavalue":{"value":{"amount":"+0.8624724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870770$C5E6021F-0D0F-488B-913F-212E26C56572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb2cf8681fed729eda6ee4a6f9fd70e7b56de518","datavalue":{"value":{"entity-type":"item","numeric-id":435974,"id":"Q435974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873b970a9d726152dc02fefec1fe698d2670f3bd","datavalue":{"value":{"amount":"+0.85808516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870770$40407626-0B5A-45B5-B2A5-E385C6CDFF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c68cb7482ce5b32c2f153d6f41bef9f06c5a0e","datavalue":{"value":{"entity-type":"item","numeric-id":2234076,"id":"Q2234076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6fb20a7204bd3c007870c9a057511ff0fd0d1c","datavalue":{"value":{"amount":"+0.8562255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870770$F433C1D2-3F6B-4206-91EB-5918F6F34EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f8c5db79fef260c87870107ec4381ea0572994f","datavalue":{"value":{"entity-type":"item","numeric-id":2322311,"id":"Q2322311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa64af49ee6e88113ece9247ec9353c36bee16e","datavalue":{"value":{"amount":"+0.85311717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870770$F33B64B8-A3B6-40A9-AFB0-C82A661188F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ac5b5cd3b2189631d02ad86d962f87eb2184bf","datavalue":{"value":{"entity-type":"item","numeric-id":5233236,"id":"Q5233236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa64af49ee6e88113ece9247ec9353c36bee16e","datavalue":{"value":{"amount":"+0.85311717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870770$34F3BD61-3966-46F9-8935-B20BA0E172E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec00f8a60825a05ce54d03a4f9a2d4ba05bf211","datavalue":{"value":{"entity-type":"item","numeric-id":5431916,"id":"Q5431916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1b42d1f4b721557602256ae44ce67c7dbd3e23","datavalue":{"value":{"amount":"+0.85125935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870770$4F4A6144-FDE9-44DE-A7BF-D09B8153D406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c0e748c9e18f46e6310a719d9ccfc85dfae01e","datavalue":{"value":{"entity-type":"item","numeric-id":3504342,"id":"Q3504342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726bf98d775a663736e4930849b0312697804fb9","datavalue":{"value":{"amount":"+0.8512593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870770$92D5E08C-9DFF-42B6-BE6C-BC6A4F020C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5657386bbd9603b9fe83e53f8b37e30d8a3b7cc","datavalue":{"value":{"entity-type":"item","numeric-id":1822233,"id":"Q1822233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"465e2938bd550200b700b571a7be7f58fc8f9b48","datavalue":{"value":{"amount":"+0.85077584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870770$4A6B1A7D-B0CE-4920-A246-66F02C080644","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract Semantic Differencing for Numerical Programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_Semantic_Differencing_for_Numerical_Programs"}}}}}