{"entities":{"Q3774998":{"pageid":5804904,"ns":120,"title":"Item:Q3774998","lastrevid":52187891,"modified":"2026-01-21T03:08:31Z","type":"item","id":"Q3774998","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4035205"}},"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":"Q3774998$A0181DDB-7D6C-4D44-A28D-B27D4113A256","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f552a9f00f090e464ced9186daec70954318b83","datavalue":{"value":"0635.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774998$73AF88C4-778F-4F92-8C31-68FEC4EC669A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57476dd69b666e7f4143357f8fdbde08c69c0dbf","datavalue":{"value":{"entity-type":"item","numeric-id":209357,"id":"Q209357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774998$C8D38C27-2C1B-49A3-B698-E2BFBB5915FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98daa176291d3f31b004bb8af3845f694af2604d","datavalue":{"value":{"entity-type":"item","numeric-id":1095644,"id":"Q1095644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774998$6DAF123A-9129-469E-AB69-552260FC3BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774998$AF38F9F0-1B84-4457-BBE8-82E7E6A2F3B2","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":"Q3774998$7AE7D460-FF56-41A7-9D6C-4F3F7B10E91D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774998$4999D80A-926D-4B4F-9882-1D23B2DB23B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774998$7D84F692-EF19-495B-AA24-1A0C08E26BC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9137910ded426d05855340c7b1cf2394a64b4d92","datavalue":{"value":"4035205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774998$4522EAE0-48E6-48B1-9003-E3B2735DD0F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774998$F0881645-73F1-4F43-8BF8-86E6F76A09CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ed650460bb1982789f02aaba8968eaa24a0493","datavalue":{"value":"equational languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774998$51355C5E-2920-476D-AC93-63DCF86887FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"297feb43fa9d3b58c6b842fddac0bc08536f6f84","datavalue":{"value":"inequations of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774998$6A4EC700-BEE7-487B-B240-11881CED448E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecbd012b521793dde9d4e3d94484494b91248b70","datavalue":{"value":"equational inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774998$0126BF8D-DC36-4B77-99DF-43273E40354B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18e1d875a8dd49619319b72e6c83b0167283a0eb","datavalue":{"value":"goal-directed semi-decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774998$B54089E1-43FC-4364-90CA-B03F78907B8A","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":"Q3774998$6C827B77-B45C-43FC-911A-678D240A416D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460ad343920c6a787b7639e14890756d38a202c9","datavalue":{"value":{"entity-type":"item","numeric-id":3485883,"id":"Q3485883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ff3e06ec32a4c7cc5b03340101a63207ecf840","datavalue":{"value":{"amount":"+0.8627886772155762","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":"Q3774998$AA047CAA-8B62-4FB0-AA88-086A10B6CF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d4116d823a59d64e156820479bb3d14da773d","datavalue":{"value":{"entity-type":"item","numeric-id":3484358,"id":"Q3484358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf8134e290d6634f2a74ae21f576060b4ae0482","datavalue":{"value":{"amount":"+0.7527596950531006","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":"Q3774998$0F5A628E-68AE-4B95-8521-218BE9FACDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a3d5521b29996331a45ad34eb7677199d8821a","datavalue":{"value":{"entity-type":"item","numeric-id":3817652,"id":"Q3817652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5b424580af54a93624d91e91e889fd4112b4b8","datavalue":{"value":{"amount":"+0.7304983735084534","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":"Q3774998$59E88840-B21E-4417-A84E-0F47A6A71E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb2995e256b76dcca4a3a251f2a6ae52e3e3c4d","datavalue":{"value":{"entity-type":"item","numeric-id":4299008,"id":"Q4299008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab77c641e50add04404c8474ac440c52add93e7","datavalue":{"value":{"amount":"+0.7264906167984009","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":"Q3774998$D9420AF6-3C94-407E-B6B0-351F7A657F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8281b18217b12593bb5968d148e806fa1d5de2","datavalue":{"value":{"entity-type":"item","numeric-id":3386920,"id":"Q3386920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b13eea569b3668874aea6cdaf933fec97f9c43","datavalue":{"value":{"amount":"+0.7264637351036072","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":"Q3774998$F5C0B6DA-05DD-420E-99D7-FC215B73AE2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3774998","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3774998"}}}}}