{"entities":{"Q3776674":{"pageid":5806580,"ns":120,"title":"Item:Q3776674","lastrevid":52361885,"modified":"2026-01-22T11:24:49Z","type":"item","id":"Q3776674","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037276"}},"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":"Q3776674$6B70B9BA-46D0-4958-9E1E-3D10CD96FEC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7425774af239cde99a2b8b753bb1c6bb425fb24a","datavalue":{"value":"0636.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776674$5D23F8E7-55C5-41A7-A747-13D036C32AA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776674$F5A530A5-2846-46F2-A35C-E47DF28EF1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7bd7e616697d922bbc0f3b3bfce444d3bbf7194","datavalue":{"value":{"entity-type":"item","numeric-id":789183,"id":"Q789183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776674$39D0A7C0-F265-45B9-AEEB-71BC1C96A594","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":"Q3776674$3E102D38-5BF9-42C2-8DC1-CC505F9D0239","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776674$89DD5CA8-C6AC-41D7-8BFB-30DEFFABD56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776674$F68E946C-E17C-4D61-AB09-3211EFE5D3D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc91452770bb2aba282c0eee5abb42b4a6d12d94","datavalue":{"value":"4037276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776674$45CE87B3-FAA1-40E6-BA64-DBEB2521DD9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74d03da601b0459b470cd1de96903991c5c0634b","datavalue":{"value":"inductive assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776674$6F13D207-4316-4283-AC60-28908A3784B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776674$BBC53A15-99D2-4948-9474-3229E5A73FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c28c3110903eae6a23631aa23fc93dc8c530c8a","datavalue":{"value":"verification condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776674$02EB560D-333C-4F44-B021-56F901FB08DC","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":"Q3776674$D8C6E456-40E9-48C0-BCB6-0817DFB078F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fa35f6556ff12fcb137ab6d3c5f990ee6d58fa","datavalue":{"value":{"entity-type":"item","numeric-id":1105352,"id":"Q1105352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219059ef6531e90e1e1a70cf50ebd8701be5c2d9","datavalue":{"value":{"amount":"+0.9094064235687256","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":"Q3776674$AE272E9C-9AC1-4BF7-854A-4C300F65F5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea95e49f05526edb7368d843c6ed27a9c17b632","datavalue":{"value":{"entity-type":"item","numeric-id":4923522,"id":"Q4923522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee89367a3655674e8ee43eac235656741e2333e9","datavalue":{"value":{"amount":"+0.8897469639778137","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":"Q3776674$19361853-3514-469A-B550-4DBDF5848EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8266f2c8ef040bdae8a8d17dbab7410a4f0f3244","datavalue":{"value":{"entity-type":"item","numeric-id":4923368,"id":"Q4923368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5254166689950a5f8a383bfe3521c8a3c5414c","datavalue":{"value":{"amount":"+0.8829701542854309","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":"Q3776674$0FB99D3F-8CB8-440E-A82D-AF52543D81B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ed9ef38619504fc72a0bdb64ce00eb6bea3a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042b01d13dc97edaf08b884b809327f01ce0d3ad","datavalue":{"value":{"amount":"+0.8282082676887512","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":"Q3776674$3BEC7948-3596-41BE-BE34-D794A25683A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb935c4e813b5a39add7d74a332bab4384bf192","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f898e1f98aecebf3e6c7a9877d4311f9dc4f0c5","datavalue":{"value":{"amount":"+0.8039427995681763","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":"Q3776674$EC1E8E32-7F52-428E-B7FC-4BD1022F3871","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3776674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3776674"}}}}}