{"entities":{"Q4938605":{"pageid":6968187,"ns":120,"title":"Item:Q4938605","lastrevid":47446579,"modified":"2026-01-01T18:53:04Z","type":"item","id":"Q4938605","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405626"}},"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":"Q4938605$EA257700-CBAC-4B3A-A981-CD3F90DBACEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c80d004bd49e2d3de4313776a0178d3105e710ae","datavalue":{"value":"0976.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938605$8DF2E666-CA78-421D-AC62-E622BF171271","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938605$67C92715-65EE-4EF0-9E81-242962C1DC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938605$A99C611B-FB99-4018-9689-C940F466F47A","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":"Q4938605$5841C8D8-BD88-48F8-9CCD-C454699B75A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938605$0255FC9D-8BC4-46BE-B888-E13D2945D928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938605$210A5D75-E511-4224-9DA7-6A557CC89472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938605$EDA71B25-F1F0-4DEA-B6A4-8C55742E1197","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db2143644d2f24cf32d5bde98f78064bf5fac46b","datavalue":{"value":"1405626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938605$8B9188AC-9D11-4F2B-BE65-FF3718A73B6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"524d2901950f08edde1dce54bfc7606a0940e8ec","datavalue":{"value":"combining decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938605$F450A587-E273-4F84-878D-32AD787F436D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938605$96A75C83-DA92-43DE-8DC4-5E40587574C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938605$AE618F52-D35D-4D98-A428-CA862A3E2328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a60d687a6856dc38e7d2ffdba03189874c89a918","datavalue":{"value":"constructors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938605$050B7785-7E4B-4FE1-BEC4-B33F8B52E3AE","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":"Q4938605$BA09B59D-89DB-4FD2-B90C-7DA5A9BA1B32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf7adfaa2f9a389106a9a773fe3ab82c5c3e7bf","datavalue":{"value":{"entity-type":"item","numeric-id":1400706,"id":"Q1400706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf58bb3cd9deba15f0d0cf31fa38fc42287c2384","datavalue":{"value":{"amount":"+0.9474405646324158","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":"Q4938605$CAC0350A-E41F-4905-94D2-7AF060663576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cfb45b7ade7199bd4bbc6a7c8c31dbd2668366","datavalue":{"value":{"entity-type":"item","numeric-id":4518874,"id":"Q4518874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c977162060c43b396820148415bd94d269545635","datavalue":{"value":{"amount":"+0.8864558339118958","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":"Q4938605$BFBD8710-8692-46D8-B34F-5D539A054830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362d8820a6c23728d525a6d09bcb6ff459d72042","datavalue":{"value":{"entity-type":"item","numeric-id":4808758,"id":"Q4808758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a142c304accd21e0c0b97e5e5498d641182825f","datavalue":{"value":{"amount":"+0.8699793815612793","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":"Q4938605$B19B15A5-8378-4468-B057-3386B3DF72C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0475855b614d36d2aaad996be21e7b040a1c84f","datavalue":{"value":{"entity-type":"item","numeric-id":3655192,"id":"Q3655192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3d9b563048a8cf1ccea578580e2d34c2020687","datavalue":{"value":{"amount":"+0.8131987452507019","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":"Q4938605$587C6887-7FF4-459B-B62A-50A0A1FBE870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df786a5f9b1a51f2533cf53d5a6f7166edd2872","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b017a9250706dbe4e3942215b73f86e1a33b667c","datavalue":{"value":{"amount":"+0.8058157563209534","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":"Q4938605$EC0B32C9-0B78-4779-973D-8829D03FCE5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938605","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938605"}}}}}