{"entities":{"Q2756738":{"pageid":2767477,"ns":120,"title":"Item:Q2756738","lastrevid":47705245,"modified":"2026-01-02T11:54:05Z","type":"item","id":"Q2756738","labels":{"en":{"language":"en","value":"Program verification."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1674420"}},"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":"Q2756738$FF85C787-3A91-4C45-A9DC-A010877D8317","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81296b5be6102a41196d584f34c4ca88f7d13cab","datavalue":{"value":"1040.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2756738$222B8091-0FA9-4E53-827A-120416C66BCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1ad1c5bda80081de8141fa9115691107f30569","datavalue":{"value":{"time":"+2001-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2756738$C8DA018D-4A5F-4F1F-A910-4DD937AF9FEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef40d1ba3d6cb29085cae01da6b060cca58ea54d","datavalue":{"value":"http://www.ams.org/notices/200005/200005-toc.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2756738$C3206C9B-AFD8-4684-9A34-F3E2AA89F0EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2756738$E4D929B7-538D-44E0-8A97-5F0C96274B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2756738$F84270D7-8325-4794-B385-19A3828BF544","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53237ef6b42102009fdd12be687b0c605fc4e36c","datavalue":{"value":"1674420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2756738$F51FAB3B-4452-43A8-9774-22BB90D06515","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a17f242a3e8e18424e964720afec0852d4e8feae","datavalue":{"value":{"entity-type":"item","numeric-id":1696591,"id":"Q1696591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2756738$8392F84C-AA96-4355-9116-53438DE28BB6","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":"Q2756738$043D95FB-AE03-4800-9569-671E25427EB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0eaa163a1b7b33c75021f0c81da43b1332f42a1","datavalue":{"value":{"text":"Program verification.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2756738$B46DFA39-43F7-4AE2-BF3D-B1D4323E79C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bdae145ecfb71d226d6b4bd74c06a5b992e49347","datavalue":{"value":{"entity-type":"item","numeric-id":2813083,"id":"Q2813083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2756738$B53DC6E8-14FE-4039-B56D-A38858944952","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17682c45ad22062752de03fc036fabf4b8dda8a8","datavalue":{"value":{"entity-type":"item","numeric-id":4692775,"id":"Q4692775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc4a7802caef31dd680ea063f1fc1bff867ed05","datavalue":{"value":{"amount":"+0.7720702886581421","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":"Q2756738$A89F6467-00BF-41FA-BE86-E0AEA02910DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c698ceabaa1a8db1a6347159e638c8ef59f99a7","datavalue":{"value":{"entity-type":"item","numeric-id":4737573,"id":"Q4737573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa724312f66a0f95e8e9180a719f8019f89d4fa","datavalue":{"value":{"amount":"+0.7682846188545227","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":"Q2756738$DDE79F6F-4519-41CB-A59A-6322877A7BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c005a6d3ace78475d33ca7338c628cecd0cc0d","datavalue":{"value":{"entity-type":"item","numeric-id":4503918,"id":"Q4503918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220d866bde42e45bbaf085015a79e6ff646abe4a","datavalue":{"value":{"amount":"+0.7546917200088501","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":"Q2756738$CDAE6904-BC96-451D-983F-43C288EA2AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286621dceae39ed4c4865eaae2eefab2f27b11b1","datavalue":{"value":{"entity-type":"item","numeric-id":1316958,"id":"Q1316958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b376325b01e91c0f9193d9850606bd790006b4a2","datavalue":{"value":{"amount":"+0.7473034858703613","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":"Q2756738$934D2C20-2C85-4B30-B523-861FE079A924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729044d297e39b03dab2cfb6ca2442c52d6bfb6c","datavalue":{"value":{"entity-type":"item","numeric-id":1183788,"id":"Q1183788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b376325b01e91c0f9193d9850606bd790006b4a2","datavalue":{"value":{"amount":"+0.7473034858703613","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":"Q2756738$46B3EC93-45A5-4F01-A6F8-A50B70B11E8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2756738","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2756738"}}}}}