{"entities":{"Q3745321":{"pageid":5775227,"ns":120,"title":"Item:Q3745321","lastrevid":50980973,"modified":"2026-01-16T01:49:34Z","type":"item","id":"Q3745321","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3980532"}},"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":"Q3745321$4DC54610-DEB0-4937-B701-51878BCA3798","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab2de90ca89ed07385b77d1966ddee8284bc93f9","datavalue":{"value":"0606.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745321$627771B2-D775-430B-A6C9-781D61004F31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3745321$7B3B422B-F4FB-49AB-AB40-BFE11BA52E6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745321$3E970C21-AD82-41F7-9D5A-CA34BEA60AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745321$10CA5FEE-E9D7-4010-A814-D95B300604B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"770231ced406f6ef3bf67818eda7fb6e0e6199ab","datavalue":{"value":"3980532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745321$C94BE9DE-74FC-43BC-ABCC-1362167F914C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e766128bf47b317d271e9bf52078685bce17d9","datavalue":{"value":"locality of definition problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745321$2AC1B287-6EF3-43DD-9C9A-DACDFBCC43DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c7c64208a4ad8d6116f05a3ea9829e813ac9ea","datavalue":{"value":"least fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745321$E5F13ADA-873C-4BB2-90A8-105C1798997A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"371317b70f0c111d8bc049b19f5dfb9c28fc46f0","datavalue":{"value":"successful derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745321$DE58B4E7-74B4-4A98-8EBB-1027ED75E03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03212940300ee81066d2c6583bfbe1225c5be4fc","datavalue":{"value":"skylight theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745321$7AEB2D1F-E963-4B28-B2D7-18A1B9412922","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":"Q3745321$CB7393F5-2A60-4180-B29C-0EDE7AF7522F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"235f58e65e65b3490f2b324acc2b516f396278e5","datavalue":{"value":{"entity-type":"item","numeric-id":1391732,"id":"Q1391732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104a2c33b299ffd99362f14fd01b59189164c571","datavalue":{"value":{"amount":"+0.7358988523483276","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":"Q3745321$8CC8728C-0FEA-4D55-92DE-924799108850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11669efc28b10493d93d60134dd60258dd749bb","datavalue":{"value":{"entity-type":"item","numeric-id":3983937,"id":"Q3983937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5e7e6210061e6e7ca43f99625dbef74a0c935f","datavalue":{"value":{"amount":"+0.7339426279067993","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":"Q3745321$79FBE627-7E10-4237-B5A1-B342E4DFE00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b373978be27576a06e061ddcffc43b003803ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5e7e6210061e6e7ca43f99625dbef74a0c935f","datavalue":{"value":{"amount":"+0.7339426279067993","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":"Q3745321$61B0935C-3DE6-467D-9756-35DDF9A4F3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2ef3ad1d0535a3df8a266c09545f25732b9d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6218ae6388e4f2cb75dfd9612c170dab59583346","datavalue":{"value":{"amount":"+0.727771520614624","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":"Q3745321$BD9C4EF4-FDB4-4F2D-8AD4-83EA7B555792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb8ccb2db025cd5f95d6bdad251ea8197ea203b","datavalue":{"value":{"entity-type":"item","numeric-id":3804231,"id":"Q3804231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6218ae6388e4f2cb75dfd9612c170dab59583346","datavalue":{"value":{"amount":"+0.727771520614624","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":"Q3745321$B4E93F2E-8C8B-4141-8B11-30D0227FB9FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3745321","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3745321"}}}}}