{"entities":{"Q4729408":{"pageid":6758985,"ns":120,"title":"Item:Q4729408","lastrevid":49306285,"modified":"2026-01-06T22:43:27Z","type":"item","id":"Q4729408","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114095"}},"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":"Q4729408$A5B17D31-4C80-4A36-B8D2-F5CB47377A43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acc73eb96063b1f4b5ff87cf30cf6bb6c8534007","datavalue":{"value":"0679.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729408$D22CD9F7-310E-4064-9745-38CAA5C9518D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729408$698CDE82-FCB4-4F96-9845-DA881CF74583","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":"Q4729408$DE496A25-D242-4726-90EC-671AB13B64B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729408$BCBC8041-6C0A-47B1-A249-A4838A2FB842","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2492457aa39e4493197ad40db6a598f49f101182","datavalue":{"value":"4114095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729408$CE05B602-2BDC-4FFF-8970-3190A33BC41E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2919334db5ed85ccab5b73c9b493ec02076f6422","datavalue":{"value":"linear Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729408$7A272A50-05DA-4C26-9AA7-0DB76E5E1583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827e7c0f0181e595eb86c37c22f4c6cc2152484d","datavalue":{"value":"implication problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729408$BC71D1C7-444C-46EF-BABA-0CC9CA4A3FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c51344918cf160612586ae31930ddba9864b1c0","datavalue":{"value":"subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729408$7BA02983-D801-4F6A-BF5A-4F6EAF5A8CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5109a69c0838c9ccdedd8195498a89e5b9d7c20b","datavalue":{"value":"decidable nonlinear Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729408$1E86CA15-C1E0-4C7B-AE22-DFF2F41C8383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d68dd3a385456643028f52b69c38ef2818bbc1ed","datavalue":{"value":"redundance of derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729408$FA0419C3-B523-4F62-9327-2910D4280CFF","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":"Q4729408$1077F361-6984-45BA-8814-70AFA1852939","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcbef14ca7f8c9c2f0b3556326c48e0b2a4c2cb","datavalue":{"value":{"entity-type":"item","numeric-id":3140392,"id":"Q3140392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc77d6d808d1821e013cfbd58560ff28e54b4f32","datavalue":{"value":{"amount":"+0.8685764074325562","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":"Q4729408$833C28C4-7730-4171-8A20-85C67DDA3490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2055c1cbfcb0dc4888a9b7fa03818581aef135b6","datavalue":{"value":{"entity-type":"item","numeric-id":2702565,"id":"Q2702565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc77d6d808d1821e013cfbd58560ff28e54b4f32","datavalue":{"value":{"amount":"+0.8685764074325562","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":"Q4729408$EA7E0809-AB12-4B76-A03F-8373ADA95397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158b1b876e8a92ccfc5db050e93d6c3caff85862","datavalue":{"value":{"entity-type":"item","numeric-id":4230359,"id":"Q4230359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb24c6fdea011da8292b7060e94e906eac88bd37","datavalue":{"value":{"amount":"+0.8654888272285461","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":"Q4729408$A18F2F73-9617-4D2A-9CBA-B0744655588D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d734cf47ec5d74c2caf3a77a7778b0c7e3a950a6","datavalue":{"value":{"entity-type":"item","numeric-id":4525287,"id":"Q4525287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3962d6675aba8e39d08bb665459d308e51856abb","datavalue":{"value":{"amount":"+0.852110743522644","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":"Q4729408$69DBDA35-825E-4B70-8F4C-2E263E60B930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73174a4485242e702f9d30c95ca2f409d048b88","datavalue":{"value":{"entity-type":"item","numeric-id":3976574,"id":"Q3976574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89384002d5ad11c613025723f2e96ecfc0412ad9","datavalue":{"value":{"amount":"+0.8223450779914856","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":"Q4729408$BA7E47C2-A509-4EBB-B1F9-80ED3E0AF0A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4729408","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4729408"}}}}}