{"entities":{"Q4938601":{"pageid":6968183,"ns":120,"title":"Item:Q4938601","lastrevid":47446567,"modified":"2026-01-01T18:53:04Z","type":"item","id":"Q4938601","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405622"}},"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":"Q4938601$FB1CBEEE-E6BA-4EE5-8E5F-4E4D85DB2388","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbee8d1b7f453ec57d4b1e4c3fb616266ca10347","datavalue":{"value":"0939.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938601$E57B22C2-239D-4F10-ACAF-5937F84CE34E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a0a7d6ec5434254be6a0e1c98f710f162b50225","datavalue":{"value":{"entity-type":"item","numeric-id":877841,"id":"Q877841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938601$D800432E-50A0-432D-9854-F2FE6559BFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc953e7dff7d26bdcb07d2cdf423e7bdad75f63","datavalue":{"value":{"entity-type":"item","numeric-id":1675158,"id":"Q1675158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938601$2AA170F2-3569-4EAC-A010-6BA7E063508F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e01016a5aa1fdc00855be84e2d8c96709b2787ec","datavalue":{"value":{"time":"+2000-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938601$4DE04AD7-B98A-4BAF-B956-A6A91EEA1A72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938601$51DB3D20-FEDD-4368-B3BB-3ADE99B6284E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938601$7B509813-FBDD-483E-87AE-461E7B43ECB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"448fe8f7acba56f557322ff673a95fee625ab95f","datavalue":{"value":"1405622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938601$C665DBBE-23C6-41EB-A62C-42F184709D03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938601$A43CDDDD-EDA3-4A73-AA9A-B20A91124B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ef4848ccb0144e94bed9c2a39e256e8b47da787","datavalue":{"value":"existential fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938601$61A744E8-33A7-4CFF-8F97-32FCFEE082F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee51c60ce3805be40a2fc871afc21ce00a09fa63","datavalue":{"value":"one-step rewriting first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938601$A8DA8C01-BF94-4C22-9FD0-44D8586AD936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f82e5b3fddf0920d7af80635fcdd17881d7b23","datavalue":{"value":"rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938601$75185061-F65D-4C18-8CC6-086DB969CA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdae4f9ff94d9a87574fd87d867384ba97b3fadb","datavalue":{"value":"tree-tuple synchronized grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938601$CE86E32F-8125-4729-AFAA-39CF457C8D4C","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":"Q4938601$97C7750A-492B-4F2A-AC12-618D5D73393E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c26c7a9ed2151b60f7622ce24d2ac4e1eb1974","datavalue":{"value":{"entity-type":"item","numeric-id":1275021,"id":"Q1275021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d3996bf2cb1004d1728feba0728a38a71231b8","datavalue":{"value":{"amount":"+0.8388538360595703","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":"Q4938601$9F4C3D94-F174-4CAC-BA40-A5C01FCA1DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e16ea31fc7095481288ec58b7b46315e0644820","datavalue":{"value":{"entity-type":"item","numeric-id":5055866,"id":"Q5055866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e33673c441e42545da54658f2f4e04a64a9922","datavalue":{"value":{"amount":"+0.8282814025878906","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":"Q4938601$D634FFC7-F470-48E4-98D2-0AC718E5DA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"639d68bbd05b84866e88040b0db3cf5b0ff8d8d1","datavalue":{"value":{"entity-type":"item","numeric-id":3636820,"id":"Q3636820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3111ba9e087c18a575040ee5ab3a08d08760ec49","datavalue":{"value":{"amount":"+0.8248511552810669","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":"Q4938601$5F0CE411-A571-4324-A2E0-E5880490076C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2a2c4ea10d13a608a7d98ff5334b9d97f57fbb","datavalue":{"value":{"entity-type":"item","numeric-id":4938600,"id":"Q4938600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5330c5991c84c50395a823f4129bb70b2d991d0","datavalue":{"value":{"amount":"+0.8039764761924744","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":"Q4938601$1CDDD9D7-6D02-4795-8829-95A7FEE3AA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f026de1768067d5029c958be5d4e7a715aee57","datavalue":{"value":{"entity-type":"item","numeric-id":4035665,"id":"Q4035665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef17e20f2359f3f8ee26bda1cd6fd0b9a287c065","datavalue":{"value":{"amount":"+0.8039761185646057","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":"Q4938601$754BC15C-7C92-466B-AA61-92A068447BE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938601"}}}}}