{"entities":{"Q3707399":{"pageid":5737305,"ns":120,"title":"Item:Q3707399","lastrevid":50486690,"modified":"2026-01-14T04:33:14Z","type":"item","id":"Q3707399","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3936507"}},"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":"Q3707399$1C343717-8493-442C-823B-0EE221511EDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6e8a2d40e0562761078aa9a7a83ab49a65298a7","datavalue":{"value":"0584.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707399$01262826-EEA7-4F94-A611-7D5E0B0E7795","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3707399$D50BF97E-E53C-45BF-83FE-BEEA91B6F6EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707399$32860517-7B11-4285-9F60-73835BAE68C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707399$65BE025D-51FF-4CDE-9ACA-B2BE1B79DAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707399$832E5287-201A-4C25-B1EC-68CD8B4FC14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707399$D842A4B6-C9AC-4A16-AB29-DA122FBE7F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707399$EC48B5FA-A9F0-4F45-962C-1BEBC88871CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2748ae906c501734df9d3b3c1a566a737dd89afc","datavalue":{"value":"3936507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707399$71E883F2-DD0C-41B5-9F57-F350D74459CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707399$7DC48690-C32D-4AFF-A251-15C8FDC6C097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707399$D05AB0A8-BBF3-469B-8E5B-BE118DA8AAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707399$1F249F50-4621-446E-813B-509AEF19F5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707399$264F7E1A-25A0-4BC9-917A-D042E66A1C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707399$1D992121-8EEB-4881-9A04-B6D63DDC945A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dea749899a44fe9c9f0d6d62a7aa50a82054b05f","datavalue":{"value":"first order unification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707399$66285E96-B759-4A62-8AC9-E385817BC800","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":"Q3707399$017D61A3-12D0-4459-91FC-6A8F07D86CBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7a85de369a018f61660f9b5d7e31a14e6ea8af","datavalue":{"value":{"entity-type":"item","numeric-id":3338215,"id":"Q3338215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3deed71f6e7d438e06a7e9023e42fbc03a899cd","datavalue":{"value":{"amount":"+0.9025031328201294","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":"Q3707399$C40E042E-B8AD-4F9C-B703-C1AE9913E288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be685d2cdc300dc0bdd4275522c6ab8f027d8ffe","datavalue":{"value":{"entity-type":"item","numeric-id":6169562,"id":"Q6169562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8fd02f5a6d8725cca3bf702f15f373480a2e0f9","datavalue":{"value":{"amount":"+0.8233606815338135","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":"Q3707399$67279307-D7DE-4DC0-9798-125B70E7A824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b022aaeec24898045912a61aa0280554bec955","datavalue":{"value":{"entity-type":"item","numeric-id":4524788,"id":"Q4524788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f1548c0e802dc1153c58deabdaef740e006514","datavalue":{"value":{"amount":"+0.8191498517990112","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":"Q3707399$8313BDCB-459B-4D40-AACA-30D04E09975F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e103d0c135c0db5647c4caff7e8c9df03e40436","datavalue":{"value":{"entity-type":"item","numeric-id":3484383,"id":"Q3484383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6395341c5777ce6d974aec71d9a3eb49d043707e","datavalue":{"value":{"amount":"+0.8052123188972473","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":"Q3707399$E5944D18-B75E-4FC4-9412-49934C5801AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b22272a236fb8750cdffc447877fa14e32a514","datavalue":{"value":{"entity-type":"item","numeric-id":3028368,"id":"Q3028368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8e580a5298f60e8ed59995b1b067396c69d6ed","datavalue":{"value":{"amount":"+0.8032063245773315","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":"Q3707399$EBF68486-04AB-44A0-81D1-795FC0E867D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3707399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3707399"}}}}}