{"entities":{"Q3975170":{"pageid":6005067,"ns":120,"title":"Item:Q3975170","lastrevid":47051668,"modified":"2025-12-31T12:42:21Z","type":"item","id":"Q3975170","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 17826"}},"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":"Q3975170$05871AE4-DD80-467E-BC45-3B1F826A7E8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23f09c60568a566abfcd05484196b351f45e0232","datavalue":{"value":"0755.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3975170$CF5FF3AC-4727-47AC-AB34-C499D3B5B966","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6cd5c3fc48ca92bfea6446c21e98e5e0e73364","datavalue":{"value":{"entity-type":"item","numeric-id":478387,"id":"Q478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3975170$1D302A40-CAAB-4A62-BBF8-E269D49C1083","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3975170$3A2706D8-FAFA-49C5-BE71-23411703E196","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3975170$E45CE15E-FC25-41FC-8027-2234437EF8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3975170$58A0A4CB-7C1C-4B24-9AF9-73119A88E1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3975170$FE2D0125-6AFE-4C11-9C98-69A0DCE17EE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d33bde06706e25b967acc49343a96916f324b42","datavalue":{"value":"17826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3975170$24B1601C-DD7E-4534-8795-53C071D9A8CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92ee3e7188e1701c73224e7442989bd2bb7ea368","datavalue":{"value":"optimizing compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q3975170$86F62257-2F11-4261-A6B8-5ABCB11BBF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278e23a8c5e390363107bf5884884d2b6a903737","datavalue":{"value":"fully abstract models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3975170$DA223C0D-2E12-46C5-8C2F-A386051AAA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3975170$E2900DCE-5EF4-49E9-A77B-E707D0C1610D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eee9f8cac159f4b604f03b13d7394d565afb59c","datavalue":{"value":"optimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3975170$AECED399-8BC1-493C-8A7A-40EC11B570EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3975170$A2CA71F5-6ED4-4481-A51D-694DD72252F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3975170$03096267-D8D5-4BD6-BBF0-698E38EEB854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c175e59be1a49a82da4c4b8195e973066f09ba7","datavalue":{"value":"optimizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3975170$03902BCC-B265-47BB-A55D-EAEA757C478E","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":"Q3975170$FDE77477-EFF5-48E0-9332-B7A749BCA8D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097430dc17ae1989af25e0cb8163bca7990228d0","datavalue":{"value":{"entity-type":"item","numeric-id":5096226,"id":"Q5096226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d4818ce49cca59bb86af0a2be0e3329184eaac","datavalue":{"value":{"amount":"+0.7398911118507385","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":"Q3975170$7A0E6F3C-6723-43B0-A7A8-426DD45317B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee977031e08c187582c3a5bfe1646ac9426537c4","datavalue":{"value":{"entity-type":"item","numeric-id":3709882,"id":"Q3709882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89f0278ab668b5bc02dd72cbe24151c1e3a8cc4","datavalue":{"value":{"amount":"+0.7272268533706665","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":"Q3975170$1D7013DD-6ABA-487B-8B72-7C8330815DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06025bd997ad51374c68243c145e2b3a9ae2917","datavalue":{"value":{"entity-type":"item","numeric-id":3996243,"id":"Q3996243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2118612a79eda21fd612e3c3b8bcefd47b88c61","datavalue":{"value":{"amount":"+0.7210133671760559","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":"Q3975170$38BBCF85-7DFA-46FE-BBAE-F3FA7A21CDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfacc6e370539a0118664f2d849e0aa3e889057","datavalue":{"value":{"entity-type":"item","numeric-id":4038674,"id":"Q4038674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87249865b3b5b5e3641723931edbdadd52de950","datavalue":{"value":{"amount":"+0.7204211950302124","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":"Q3975170$71F2692B-53D6-4A44-A725-7B138C1C9272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681b5f9bf88a34cd72ae85c65c1e6bc0dc90d3e8","datavalue":{"value":{"entity-type":"item","numeric-id":1323307,"id":"Q1323307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0e14b84292bd1f3b24a42997efcdc2a4b78baa","datavalue":{"value":{"amount":"+0.7177823185920715","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":"Q3975170$5F8DDF9E-04B0-420A-B887-898C4DD939AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3975170","badges":[]}}}}}