{"entities":{"Q2908496":{"pageid":2919221,"ns":120,"title":"Item:Q2908496","lastrevid":79823873,"modified":"2026-05-06T14:47:30Z","type":"item","id":"Q2908496","labels":{"en":{"language":"en","value":"Rewriting Induction + Linear Arithmetic = Decision Procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076911"}},"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":"Q2908496$E58529D8-1EF7-4836-B0A2-D773145B39BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47c5a1655c284cdf19f716e936c6ace19e99bfe2","datavalue":{"value":{"text":"Rewriting Induction + Linear Arithmetic = Decision Procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908496$258DF30C-BE97-4A36-9BE3-371EB5719960","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf9db03b4cf272764180592436ad80f42d3bd1a3","datavalue":{"value":"1358.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908496$0A78D006-A20A-4641-ABE7-9ECF0D24D051","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"345e8a4f69354c0d15a5c3c8308f3a413c3c0160","datavalue":{"value":"10.1007/978-3-642-31365-3_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908496$D03A89CB-E981-4A5D-BF62-4C6B252E55F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4884ea388d9a1b061adeca7a34ce809061266cfb","datavalue":{"value":{"entity-type":"item","numeric-id":877835,"id":"Q877835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908496$B2123690-87D5-4C15-974E-297938EB2994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908496$A3566EF8-F427-44EE-B6E3-5BBF0E0C4AEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908496$9C53DDBF-CE7F-4A06-A84B-1E5746F0EE47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908496$60FA1A6B-8228-45C2-ADE8-202AA54C3FF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bfe51c012e937ed0554707e442d6845c4a4cba4","datavalue":{"value":"https://publikationen.bibliothek.kit.edu/1000025940","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908496$4D11BF81-778E-4EA1-8F07-F6178EF36A71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908496$30EB1AB6-019B-45E3-AB9C-6515252D8519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908496$7633BF32-13BE-4510-A3B2-D49151607749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908496$FB77CB60-8FC7-4AB4-A5C1-5FBA750ACF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908496$10F9E9C9-9C62-49A7-9DAA-010CB4E1021B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63ed499769babb5690366b7175500e4cdbf9621e","datavalue":{"value":"6076911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908496$E3C71276-EE0D-41F9-A714-877266DBC8F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908496$C6DDE868-3F13-490C-B30C-E47671E1D1B0","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":"Q2908496$EDEC6216-DFE0-44B6-BCA8-9928D38FC25C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c15feae84a16ec67e7bfb5c2d0e7e85112537736","datavalue":{"value":"W2171347031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908496$013D3656-320F-441C-9413-5648A9C414E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d97bab009359a69f6aba70a8416f3d9c2262960","datavalue":{"value":{"entity-type":"item","numeric-id":2738486,"id":"Q2738486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e9d71fa59051fe1f1bfcf09895ab7faf2067e8","datavalue":{"value":{"amount":"+0.85565716","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":"Q2908496$F2B56623-055C-4104-B8E6-35F54245EE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e514fc82ee397e43ef358a217be5a5c0b8dee9dd","datavalue":{"value":{"entity-type":"item","numeric-id":674992,"id":"Q674992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aab665e09edc901b0cf5babcbe063c4529cadc2","datavalue":{"value":{"amount":"+0.8481783","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":"Q2908496$094F8BDB-8C5B-4576-A5D2-34C134269629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecba8fd5eba8c85bbd4bcc43c5b043c49cb11fd","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d02800b662fe361ecb70306c739d43e3ff0f065","datavalue":{"value":{"amount":"+0.8423638","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":"Q2908496$EFD56D6B-BD1E-4F64-9B1B-C7F150892721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4acd3fa3f3bdc0687f761d59bb22ea5724db5aa","datavalue":{"value":{"entity-type":"item","numeric-id":5387883,"id":"Q5387883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2b166856fdd6f58b0c57612b13e91176083994","datavalue":{"value":{"amount":"+0.83613634","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":"Q2908496$763D8E5B-CBB6-47D0-A7DA-1557FB52E89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be43729fe539971fdf1aa681af41ce8d0f28afde","datavalue":{"value":{"entity-type":"item","numeric-id":2852038,"id":"Q2852038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ed37f68fe942b0c3c7e7fe6fbea577dc2402d6","datavalue":{"value":{"amount":"+0.8235611","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":"Q2908496$DFEA4380-0686-45C7-82EE-5FE1F46B3433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a27f65171a16ec1255d72e9a05aaa54b77fc0c6","datavalue":{"value":{"entity-type":"item","numeric-id":2864358,"id":"Q2864358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6049db3f2f3c600e3084f5e1c69f8cc38d17241f","datavalue":{"value":{"amount":"+0.82173645","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":"Q2908496$507938BC-B70F-4915-9A62-780659A95F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7e8e59edc17f093b6604152ce80f5b34e00dd2","datavalue":{"value":{"entity-type":"item","numeric-id":2958382,"id":"Q2958382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07656bcd92a6ad3caee29fb3a6f6c61301a809be","datavalue":{"value":{"amount":"+0.81477416","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":"Q2908496$C4FA83B7-6DC3-40D8-BB3B-B07ECD251F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a5dc7e2a40afbea7ab60e8677820b20926ba87","datavalue":{"value":{"entity-type":"item","numeric-id":1915133,"id":"Q1915133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3eaaf11d37df484b1c3cb3b90f49994cae44b2","datavalue":{"value":{"amount":"+0.814486","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":"Q2908496$75C703B7-C5F1-42A5-A767-71FB8321D339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdeee46e504a55acd7bccfff46c1219fa96e652","datavalue":{"value":{"entity-type":"item","numeric-id":4842538,"id":"Q4842538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5224975fbc98f5821d0f35629a0c6de7837df191","datavalue":{"value":{"amount":"+0.81352663","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":"Q2908496$61E6C8C2-E72A-408E-8080-513737F5B331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d46345375cf30c0ce392ba2457e734405cc9d7","datavalue":{"value":{"entity-type":"item","numeric-id":5096184,"id":"Q5096184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"715367d9d05a2677b8752101ffd90d8781accef4","datavalue":{"value":{"amount":"+0.80937004","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":"Q2908496$5F609A2B-9A52-4E00-90FE-DF3FA1875501","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewriting Induction + Linear Arithmetic = Decision Procedure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rewriting_Induction_%2B_Linear_Arithmetic_%3D_Decision_Procedure"}}}}}