{"entities":{"Q3817590":{"pageid":5847496,"ns":120,"title":"Item:Q3817590","lastrevid":53840717,"modified":"2026-01-25T19:38:26Z","type":"item","id":"Q3817590","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4090779"}},"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":"Q3817590$8C3E582A-2EE6-4E10-A1DE-7DC02A46BFBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b0160b6c3b158481fa6306dcc7ffc85f8c8559f","datavalue":{"value":"0666.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817590$BA01EDA4-858D-428F-B561-4FE9B6CB7811","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817590$6A7B9F2C-9C5A-4FFA-8681-6398DF37E054","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3817590$6BCF1AFE-9619-4644-8136-4DD5D9E91D40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817590$7E1D9F71-5917-4002-8658-7BE5A0C50DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817590$8D733B1B-D310-45E1-B2B8-8C0BAB97542A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817590$B966E383-B34A-4E71-B756-7303B8CBEC33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbf2236f21c8127bae49a18a56442ae9dd182340","datavalue":{"value":"4090779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817590$86DD0D70-A21B-42B7-BA19-00FE2CC39ACC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2295e9ffa3d63bd5be2b0f7a4b3e06697b255b","datavalue":{"value":"semi-Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817590$52C62F73-91DA-45E2-8FDE-664562CAA74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817590$FC31C6E1-27F7-4EA1-AB63-EEA32EB377C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817590$897064E2-C21C-4D6E-B606-A9B5D6F2A760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817590$78198C39-DDDD-41E7-963E-9B08404A0CAE","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":"Q3817590$6EB3F4C6-24CF-4552-934D-7C3918DA47BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb4c115a27c54e7c463bd6207da05fe042a7640","datavalue":{"value":{"entity-type":"item","numeric-id":4038704,"id":"Q4038704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b8be499d3f01a9e75fe4c93194aa8dc131f56f","datavalue":{"value":{"amount":"+0.8636676073074341","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":"Q3817590$B48FF833-75FC-41BC-A9C8-C08ECB5E778F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cde0e4f178f1b5c069b724482596f48e088d000","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73c924be9f645b1d40f41b8434170d7d61fcd1e","datavalue":{"value":{"amount":"+0.8636671304702759","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":"Q3817590$DBF75C99-7AF8-4C05-9D2E-F09497CEA12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc78662ad87e0ad64a1b6f5fb5983785321da06","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f44ad99a41b3be1aaca9816980c254b64edbcc","datavalue":{"value":{"amount":"+0.8281024694442749","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":"Q3817590$877CB25E-5919-4F8E-BBB1-1091F9306A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35398bb68961ca6ca6005a2a56e2e38acea57fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e9c23fb92f6a1ee805db79c5a6a1d98bb429d7","datavalue":{"value":{"amount":"+0.8225906491279602","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":"Q3817590$C6148B23-7B76-409E-9994-C7D927DE8A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d57e9f22c8bfed02eaab19482a89157a04ba1d1","datavalue":{"value":{"entity-type":"item","numeric-id":2751361,"id":"Q2751361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55b21e1930050fb85f751d3cbab5dca9674bd34","datavalue":{"value":{"amount":"+0.8207608461380005","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":"Q3817590$F5030C0E-1A19-4F6D-BBA6-3AC2C2EC23BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3817590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3817590"}}}}}