{"entities":{"Q2843931":{"pageid":2854651,"ns":120,"title":"Item:Q2843931","lastrevid":83487752,"modified":"2026-05-07T08:23:21Z","type":"item","id":"Q2843931","labels":{"en":{"language":"en","value":"Inequational deduction as term graph rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201794"}},"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":"Q2843931$CC7BE9AA-688C-4B9D-AFDE-B3386D8F2069","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b78b9d7e54245051eabc0f941bb03c234f98030","datavalue":{"value":"1270.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843931$4BEC6567-1BFE-401A-A4CE-97D2144EA657","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00d93131f1b38401f6d724c500276180fc1e824","datavalue":{"value":{"entity-type":"item","numeric-id":171483,"id":"Q171483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843931$04D7300B-CAFD-4384-81BB-55A1E6D9E501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843931$194A3403-6EAE-4BB7-9FB2-64D643A99ED1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36b22ebf70a17ea6cf536baf5ab232586b47b37e","datavalue":{"value":{"time":"+2013-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843931$71B81767-5D50-45CD-8A0D-6FEC469E3F1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fae170323b9a6a2128d4dc32e304b2d87378d59f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610700549X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843931$592B8172-B282-4E80-8B65-7721E84844B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843931$DF159179-BAF1-46A3-BDA8-29B7577DDDF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5a34b8b940eb8dacc5016f65c321939664663e7","datavalue":{"value":"6201794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843931$87DA8049-188A-4651-83DF-D081BC5337DD","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":"Q2843931$48987968-DE82-4ED8-8FD5-3B12D737217F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0fd1283d1988842d6c0b6d9185d5abe1c1ef5e6","datavalue":{"value":{"text":"Inequational deduction as term graph rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843931$CC09DAAE-7D1D-4F7E-A1F4-206A4C8BB41A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f474802c0cdfa5c61588f518913c1cb25d4b4ddb","datavalue":{"value":{"entity-type":"item","numeric-id":3992231,"id":"Q3992231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f10d8b8a4289ddced1379f0099afbab888cab3","datavalue":{"value":{"amount":"+0.7484816908836365","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":"Q2843931$34B89E26-786D-452B-B69B-58F13BEDED1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3615db0c14cee2afc9933a562c6c4c4724aabad","datavalue":{"value":{"entity-type":"item","numeric-id":5287526,"id":"Q5287526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5749f51f926a83b6e1fe79dc6aa0abd9ccd38ac5","datavalue":{"value":{"amount":"+0.7387125492095947","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":"Q2843931$B4269B32-B4B6-435C-B0DD-9E05629D97F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e721a65333c9de082bbf6302d66b6f4a44e901d4","datavalue":{"value":{"entity-type":"item","numeric-id":4941927,"id":"Q4941927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5749f51f926a83b6e1fe79dc6aa0abd9ccd38ac5","datavalue":{"value":{"amount":"+0.7387125492095947","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":"Q2843931$01413EF7-82FC-4A22-9AC0-D6BFD092D474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca0082fe6fc7d50d3c090aad7aeca968befd269","datavalue":{"value":{"entity-type":"item","numeric-id":3490967,"id":"Q3490967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452a3134f4a5b42504cf528fabc2c1437803bbeb","datavalue":{"value":{"amount":"+0.7387108206748962","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":"Q2843931$968145BD-78CD-4190-A281-F1295022C924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c306cde45090b87be0bfee6bedd79b7d4eed309","datavalue":{"value":{"entity-type":"item","numeric-id":1853456,"id":"Q1853456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2f14c489fe8594d7b99c52b4049d78375fdf74","datavalue":{"value":{"amount":"+0.7296142578125","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":"Q2843931$54554E28-8889-4F0B-9D0F-1A1FB742BE32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inequational deduction as term graph rewriting","badges":[]}}}}}