{"entities":{"Q3200592":{"pageid":3211300,"ns":120,"title":"Item:Q3200592","lastrevid":49439464,"modified":"2026-01-07T04:02:46Z","type":"item","id":"Q3200592","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4176501"}},"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":"Q3200592$F1FB952B-E4A2-409D-8D7F-0A713F13A7E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88d4f4c9ee8ce6dcb82e11207b984fef62ba3dfe","datavalue":{"value":"0714.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3200592$474089A5-0D84-4F98-BD74-C0CC0CCDE125","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24b7b3abf5df3ab2049f4a23e5336a9cb7873f4","datavalue":{"value":{"entity-type":"item","numeric-id":1188721,"id":"Q1188721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3200592$5264AA48-5995-4DDF-85CC-E310A4B98A79","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":"Q3200592$2953B814-F767-4FD9-9E9B-AA33BCB642AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3200592$2301E8A8-93AB-41A8-8563-8E351E58E26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3200592$6C203E96-8787-4308-B718-254DB6933432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3200592$FCE23EC5-5990-46BA-BA13-3B5D259E32A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c489fd520c3b58510251f32f362134d5e1be98e3","datavalue":{"value":"4176501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3200592$64788794-26B9-4DF9-B705-8CCE1672795E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63db4093ff995bd893bb1f345c8a67de073b412","datavalue":{"value":"automated termination proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3200592$E88D7801-966F-4A8B-B84F-6688ED4E4C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3200592$A59CBC9D-EA21-4873-9267-5378A4460AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a207156d34480a45f0a8fd7c81d3ac401004296","datavalue":{"value":"answer substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3200592$BE9B3B06-3C24-43A1-8843-5FE8AC3BC9DE","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":"Q3200592$F8F5898F-0789-4AED-B67B-D177B943893E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9413c57927dac6f91d591d99752ff2c30cedbc","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d7c04c6d03eb062b37337cc81c4472e1706250","datavalue":{"value":{"amount":"+0.8529806137084961","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":"Q3200592$BF7C7310-B24B-4617-8FB2-7F39C1250156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729bbc3558f21fc5a7f12610da9b2ceb4ebaba91","datavalue":{"value":{"entity-type":"item","numeric-id":5030196,"id":"Q5030196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50e4dfa83f84c27ff49e3842de5f626322e62bb","datavalue":{"value":{"amount":"+0.8103309273719788","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":"Q3200592$7C2565FF-B012-4A96-8A8F-5760F8BF5CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0a802207774410f576ebc589867652a625a02b","datavalue":{"value":{"entity-type":"item","numeric-id":5941755,"id":"Q5941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cfb36bfc11c5d2325756fc4e13a6182238c4bd2","datavalue":{"value":{"amount":"+0.8061308860778809","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":"Q3200592$DE8B88ED-2ECC-4073-8171-F590744BB957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed553d65f37ab15d6adaa8455c9c4e6bfbf8966","datavalue":{"value":{"entity-type":"item","numeric-id":1318707,"id":"Q1318707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87675518b39f40554403a0943db38566f82a20e6","datavalue":{"value":{"amount":"+0.8057708740234375","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":"Q3200592$768B7C95-00F0-47A7-B195-010B20D8D860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4658aeeec63d7e3ad22f9cc4371820983f8f2768","datavalue":{"value":{"entity-type":"item","numeric-id":3698285,"id":"Q3698285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16eed2b8589bab294f1127973410013a55f2f53c","datavalue":{"value":{"amount":"+0.7997134923934937","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":"Q3200592$0D5A0A04-4C13-4AEE-B904-F25A44F84A6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3200592","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3200592"}}}}}