{"entities":{"Q5881175":{"pageid":7910726,"ns":120,"title":"Item:Q5881175","lastrevid":97501700,"modified":"2026-06-05T14:54:19Z","type":"item","id":"Q5881175","labels":{"en":{"language":"en","value":"Simple type inference for term graph rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661538"}},"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":"Q5881175$D456E0EF-6663-4EB9-8E01-0EAF76C7DAE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03955460d1a4a350656bbea1b4507fbfac681836","datavalue":{"value":{"text":"Simple type inference for term graph rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881175$66871ED9-C3CA-4067-AF93-8EDDC8987478","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ad699573ca7f93816a6916cb95dd3ad996f14e3","datavalue":{"value":"10.1007/3-540-56393-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881175$62E020E1-78BD-47D0-BDB1-4BE1F5B4EC14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647a97c372a5d4c8dcce8ebf8c15a7dcfc380752","datavalue":{"value":{"entity-type":"item","numeric-id":470017,"id":"Q470017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881175$7D1DFD7B-D256-403C-9B84-1EE1D3472488","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00eb62236e33a5483cf4681f1956ae601238d263","datavalue":{"value":{"entity-type":"item","numeric-id":5881171,"id":"Q5881171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881175$A72FE904-B6ED-465C-88F4-7989A95705C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881175$C81B8CDE-698D-475D-BB6E-2294B35408F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881175$A35BE506-4C30-4089-9C51-77AFE0C516F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b10653dc7bfbc9aa7d37d300202681d3cb5ad33","datavalue":{"value":"7661538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881175$D55DF2A1-18D1-42B3-95E4-D8C8156A86B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881175$3A69FC3A-55E2-471D-A049-5A90D7470DAF","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":"Q5881175$505C10F9-65D8-4D4B-8DE5-D6DA93C690E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c89867d419f101b0d1eb2c92dbf71dfc124d369","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881175$3EEE0133-AFF6-4136-8ACF-4EC82F70B01E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f307814e4bce26c407fbe404bb624e5ea7b2d021","datavalue":{"value":"W1834020360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881175$C0FE0EF6-2909-4127-B653-A6CA9EFE4AB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881175$E580D7FC-86A9-431E-A6E2-A4DC6CDCE899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdbb0d9ff37af3af5110351f6007f31db92ffb5","datavalue":{"value":{"entity-type":"item","numeric-id":5055745,"id":"Q5055745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881175$0C057AEB-9115-40B3-BC89-FDC1FCDB5000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881175$B4A974CC-EF03-4D5C-B63E-6B50873FA86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881175$20A41BB7-93CB-4B6A-8476-1F1EEB05C7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9e886b9360a3e41cc1b6bf60219a57e89b7504","datavalue":{"value":{"entity-type":"item","numeric-id":4692468,"id":"Q4692468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881175$CDEA148B-88C1-4312-879D-44792BF66CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47887b51bb71d03f5d015de9e3f52fc32bc9e63e","datavalue":{"value":{"entity-type":"item","numeric-id":5055744,"id":"Q5055744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881175$6EBB9982-1939-43EC-A0CA-669B53CFFB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881175$308279F9-9655-40C6-B2B5-6AAC4A06AC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc1f3fbb4fbad3f8876f0ad83aae7b512e54cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881175$94018B32-6568-47ED-AB79-EBB89871A504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881175$07FF9A44-D702-4FC0-854A-9419B24FEC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ace9385f5e19244160232de5aab0108b07038e","datavalue":{"value":{"entity-type":"item","numeric-id":918190,"id":"Q918190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881175$F100BC3F-1DAA-4155-BB81-A6DA1B49769D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273a4f1e41f4795401b10e3105fd52799105e67f","datavalue":{"value":{"entity-type":"item","numeric-id":4472460,"id":"Q4472460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ae2275aabb670504ac3b3636abb871db93a7bd","datavalue":{"value":{"amount":"+0.8031631708145142","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":"Q5881175$8716706C-9B9B-4039-AAFF-ED725C5E34A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d2a8c6535118388f625b041377777c5f90368c","datavalue":{"value":{"entity-type":"item","numeric-id":2581012,"id":"Q2581012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763c0df244fa1b07d76c39cbf64ac1484742a90b","datavalue":{"value":{"amount":"+0.797697901725769","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":"Q5881175$D8E4EF98-BE37-4920-9471-66ACD5DC8275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bb328db5edd520ec05d62ae0ff9057e2a63e8c","datavalue":{"value":{"entity-type":"item","numeric-id":5284548,"id":"Q5284548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b3e04a56b87afd371141d9d5a4675ab42fd022","datavalue":{"value":{"amount":"+0.7823374271392822","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":"Q5881175$ED2837A5-DDF6-4585-8E16-CFBA3B862A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17bc13c9d109a8dd9b6efca7c6bc87021f885de0","datavalue":{"value":{"entity-type":"item","numeric-id":4645801,"id":"Q4645801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6390afa366c15bffa85213b95012d722556ea01c","datavalue":{"value":{"amount":"+0.7675002217292786","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":"Q5881175$C82C0586-69B0-404B-B487-FABC3697B7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0194b051af41b917724efb1a6490eb62767e243f","datavalue":{"value":{"entity-type":"item","numeric-id":526459,"id":"Q526459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc7b017348bb7aa7f8e1f6ad336252ab4b2a43a","datavalue":{"value":{"amount":"+0.7671213150024414","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":"Q5881175$F189BBC9-9100-4EF9-9961-2AEF2CFE8DF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple type inference for term graph rewriting systems","badges":[]}}}}}