{"entities":{"Q4013802":{"pageid":6043598,"ns":120,"title":"Item:Q4013802","lastrevid":55177714,"modified":"2026-02-04T11:37:34Z","type":"item","id":"Q4013802","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 67840"}},"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":"Q4013802$7F5DAC39-C459-48C3-ACF2-64FC48949946","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c31dc110fd868ee46f172da61d7bb6b82bdeb27","datavalue":{"value":"0757.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013802$95C32E16-7E7D-4E23-93D5-D0C952E2B797","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4013802$36151F85-4026-4575-809F-556D6B0987BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013802$1B7E96A8-E34E-4876-951F-F8231BAE4D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013802$039A820B-2CC8-43FD-89F0-D02A242428CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013802$BE356DA3-55BD-4A6E-B30F-8B1BE1DB93E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013802$9DAF9291-8C78-47EE-AF4E-E3AF0B658070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013802$C96832A4-D497-49EB-97AD-BEE310C76258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013802$5A7BA210-5D80-42FD-B356-69265EBD022C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa0ab0585e1c992c20978e6528fd373887932ac6","datavalue":{"value":"67840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013802$DB6A4258-9445-4E84-9254-72766470CF39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04b1fd17c95e1427e036f85123a7d39bd2a48250","datavalue":{"value":"first-order logic fragments describing feature structure languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013802$FB2EB65F-28EB-45BF-9717-0422866870F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba68494e3aa8d2478f08226302436c79518439ea","datavalue":{"value":"natural language structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013802$47AA7D15-A677-44BD-AA41-8E6FD14E8A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a8169a5f764e95c8fbe36fad8cd6c076be440b","datavalue":{"value":"Sch\u00f6nfinkel-Bernays decidable class of formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013802$129DFB8E-E554-476E-B7E9-3858C104DEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013802$E2C739B9-10AE-4CAF-BEBE-1094BCA6BE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013802$71BDDC4B-A034-48CE-9233-2CECA2106858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013802$84A4D7AD-95B3-4E03-844E-471E7C83ED8A","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":"Q4013802$54E93E56-64D2-43AD-87E8-4C4B7FF2FE6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6a161531d3dc3afe607646319606c354480eecc","datavalue":{"value":{"entity-type":"item","numeric-id":3992236,"id":"Q3992236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa5c1f580da67833fd03a58dfe5c49f1e94af9c","datavalue":{"value":{"amount":"+0.826237678527832","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":"Q4013802$5F889428-A81D-4EB0-8380-A501A79E5450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a5600bd1ee53c585819c5c0bdf4ca727732436","datavalue":{"value":{"entity-type":"item","numeric-id":673135,"id":"Q673135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c60777d18e928441a89acfea33ff35681fef73","datavalue":{"value":{"amount":"+0.8135790228843689","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":"Q4013802$9662448B-2F24-48EA-B7B6-C347538698AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c47700f11dc3a54c73691d06d78d61e9f5409cf","datavalue":{"value":{"entity-type":"item","numeric-id":1314281,"id":"Q1314281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853a97572a446777092a08d301f47a8e3cea8983","datavalue":{"value":{"amount":"+0.8120167851448059","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":"Q4013802$0B3F1776-C419-40E7-B6BF-1679E0599D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73cdf435ed5054782f37bf4d4d84deca1337bcee","datavalue":{"value":{"entity-type":"item","numeric-id":4010365,"id":"Q4010365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9863ccdfa0982fa8c55abda440367c64691853b7","datavalue":{"value":{"amount":"+0.8070714473724365","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":"Q4013802$7537E431-9430-42FC-B8A4-3ADE99603CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c18a4ae94bdc7fe768b3887fc099ca1b8e89dc","datavalue":{"value":{"entity-type":"item","numeric-id":1333157,"id":"Q1333157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9863ccdfa0982fa8c55abda440367c64691853b7","datavalue":{"value":{"amount":"+0.8070714473724365","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":"Q4013802$30E669F7-C9F8-463A-877D-04F20884D27C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4013802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4013802"}}}}}