{"entities":{"Q3493301":{"pageid":5523201,"ns":120,"title":"Item:Q3493301","lastrevid":49421086,"modified":"2026-01-07T03:21:17Z","type":"item","id":"Q3493301","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4166918"}},"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":"Q3493301$1BACE312-3330-469F-A81A-C1DF800D56A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a4024a74e44315a2b0d789ab57cc723c681dc00","datavalue":{"value":"0709.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3493301$9CC971C1-AB3F-4B92-A978-90D12319D4C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a20599999d045d40c9b9eed7d2441e6dc5526a4","datavalue":{"value":{"entity-type":"item","numeric-id":688149,"id":"Q688149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3493301$0DA478E4-5B2C-45DC-B2CF-2FB33856B631","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3493301$4CB1FFD5-C8B0-42F4-9538-9672A18D3878","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3493301$D27FDB12-3E75-4814-B5F6-2C3E69B06003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3493301$F3F38480-D25A-4333-900D-6FDC62494F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3493301$B8BE3C3C-E994-4205-99DF-F5830FACF639","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84a087654a4bb25402bd7e825ea7080eb6b25879","datavalue":{"value":"4166918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3493301$1F3518EB-FE1C-4F41-A1CD-91F460DE4940","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaa21fa6229d0d413a86d05d74245a92833fdaf","datavalue":{"value":"syntactic equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3493301$EE681BC9-0D78-4C45-BFB3-62B133129558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3493301$C63B4C31-AA97-44A0-B4E3-C06589E5DE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3493301$B236DA36-AAB2-4688-BC9C-54C2EE4A1A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ef08e45e2e44488859f965b2153ef823b31146","datavalue":{"value":"SEq resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3493301$B24B1141-E4BE-46F5-822B-5DAE7C175C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9e1556c2fcea0d362972fe609ab0761a0d2f2d","datavalue":{"value":"Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3493301$1D43D0CE-4640-4ED5-9EBB-E591E217A356","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":"Q3493301$B7CB35F1-0BB3-4C0B-B592-CB01B2F6C3AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58a113d0c2f8f7359b697526e29dfb22649f330","datavalue":{"value":{"entity-type":"item","numeric-id":4537436,"id":"Q4537436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ff532c17e0e8ccdf6d4d14a337bf6d745e3e1c","datavalue":{"value":{"amount":"+0.7277944087982178","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":"Q3493301$467599D4-A069-4F2F-A997-DA4D77131D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e2d4d37e9d2948bcb91c17759446fddb1958bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3491008,"id":"Q3491008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ae6d2fdc695961cfd7ee6977b839853046cad4","datavalue":{"value":{"amount":"+0.7188740968704224","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":"Q3493301$02386593-A55E-463D-A31C-42B1AA30F7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69764e55341e7612bb87736f8e4634ce006e23e","datavalue":{"value":{"entity-type":"item","numeric-id":414849,"id":"Q414849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6191e3fdeabf175ce11589c52640980ac0e89c47","datavalue":{"value":{"amount":"+0.7061408162117004","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":"Q3493301$0FA83BEE-02EC-4512-8475-775021BB2FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aadfe63cccf0f3a777afa56a06a45926270608f","datavalue":{"value":{"entity-type":"item","numeric-id":3716324,"id":"Q3716324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1450156c0762d6877a7d6d8a55a904eb8e6d7d","datavalue":{"value":{"amount":"+0.6961850523948669","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":"Q3493301$96F11754-14F0-4912-815A-7A782C3CC87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a5319f5b52d27d5eea3aff0744f3c14bd5d5df","datavalue":{"value":{"entity-type":"item","numeric-id":4428888,"id":"Q4428888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e82ea0f7c38a5aae1d9cfea51aa3c2f6f65527","datavalue":{"value":{"amount":"+0.6921718716621399","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":"Q3493301$47CABEEC-AEDB-4A5F-8F64-6124DA7CC23F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3493301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3493301"}}}}}