{"entities":{"Q2337338":{"pageid":2348081,"ns":120,"title":"Item:Q2337338","lastrevid":71885256,"modified":"2026-04-14T01:10:47Z","type":"item","id":"Q2337338","labels":{"en":{"language":"en","value":"Partial correctness of a power algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7132617"}},"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":"Q2337338$1A148C5C-CB6A-430D-946A-A7A838B5E735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfd54d665157d6e14f8186ac61b887fe6c568500","datavalue":{"value":{"text":"Partial correctness of a power algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2337338$675E9D6B-0A85-4625-A109-315DAD25754E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a638cbafcaed466153d77bfb3bec7b7fd923e07","datavalue":{"value":"1432.68535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337338$11E1A9B6-9C59-4979-B218-DEFC41897835","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97f5866402635b99149bc460396a826566782037","datavalue":{"value":{"entity-type":"item","numeric-id":2337336,"id":"Q2337336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$1DD1D1B8-1BEE-46F3-8E71-B18EB0E8EA3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$D6C434F9-2DB4-4520-A4F9-61A9E46D5AE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10393ba55f1a886ba53e75eccd4b56403eff1eb9","datavalue":{"value":{"time":"+2019-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2337338$068BD859-342B-46A7-97EE-86D92A618C63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337338$7E6704E5-C187-43D2-B3EB-71CCB3368155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337338$AE470F81-564C-4E00-8910-844E189DA7EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18934a195273fa584310aef02055d22080d04117","datavalue":{"value":"7132617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337338$3BD88C2D-9B66-4DA0-B1E1-693738F5EBCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbe0ff6f2c2ded3becccda3386525a2ab1c93d20","datavalue":{"value":"power","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337338$BD417EFD-7AE8-45E3-A5A9-A8474182F2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc330330af81c651fedbd47b883734cbc393641e","datavalue":{"value":"nominative data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337338$F87F56F3-E036-481A-8B90-068D7B4A5179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337338$369E51F9-3EE0-4FA6-9F1F-F6B185F5E143","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$2865BB9D-D948-4FE7-8149-575074206DE6","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":"Q2337338$9845F153-A973-4294-AC62-7AC47ED81238","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c699b233b55e17cd8d59a96057a7efae7d8cb17","datavalue":{"value":"https://doi.org/10.2478/forma-2019-0018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2337338$F5F6422F-F064-4254-A9B8-56A1F27167A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22f9906b18017da94415b44f936077aa79da185b","datavalue":{"value":"W2964266122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337338$3C8F9CBD-36E5-4DF1-9EAF-55981E66742A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$3AB7B998-E463-4657-9483-80840ED66108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$40DFE13B-2298-4F96-8AE9-63D3D8194936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d861948f1f6146a05d3ce13e4c51b6e0c074be1f","datavalue":{"value":{"entity-type":"item","numeric-id":286794,"id":"Q286794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$8A50AE61-1055-4B79-9E2F-CDF1342A6361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$CA80C796-2A14-4A43-AB27-40145D0B4AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50098f7373776d4560222ecc8a748602d90caa1a","datavalue":{"value":{"entity-type":"item","numeric-id":1688748,"id":"Q1688748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$5C886621-A6EE-47E1-8181-DA85EBA8E2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeae895a2eedc4d5094f7da768129446f8f2e69","datavalue":{"value":{"entity-type":"item","numeric-id":1650410,"id":"Q1650410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$B0CFF4FB-A767-438D-8B90-F7007C1398F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d91bfaa278ea5f6d261d9800ec324915876d776","datavalue":{"value":{"entity-type":"item","numeric-id":2311522,"id":"Q2311522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$08069432-05CB-467C-A41D-318FA14B1D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca891fbeb599e54094d6325ea944d3297b062ae","datavalue":{"value":{"entity-type":"item","numeric-id":2311523,"id":"Q2311523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$D7AB1458-471C-42AB-A0B2-73B04A32A471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fbf368a20bdd3ab27aef01d424d68ccd72c8623","datavalue":{"value":{"entity-type":"item","numeric-id":2311524,"id":"Q2311524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$317B152E-3BCE-4A6C-A82D-877121AC04D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44a6ed92c6c245811327538ca01c4b094bb1c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2311521,"id":"Q2311521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$D4F798A4-69A1-4412-952D-B1A5CF44E11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"804d612aa23ca04bde66555843a754f787b9f3b8","datavalue":{"value":{"entity-type":"item","numeric-id":1796766,"id":"Q1796766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$A3CD1936-0D62-457D-A738-410F94FD38D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129b34a25e9b7fb67fdfe3e59012717c8e20f4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1650373,"id":"Q1650373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$F0BF737E-38AD-4452-B095-F99A0F9430FC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e793830a5bfb67a003a1b5b62a1d50ec370f8cc9","datavalue":{"value":"Q127453021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337338$893A7A93-B19D-4E6E-8542-D1994A30B93B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04be375707139e4c3649a3648cf95ce0005c806a","datavalue":{"value":"10.2478/FORMA-2019-0018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337338$E8EE3D71-1CD8-4F7A-B975-2886F9CC9521","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b3c798b7f555ed21cc5776c6a654b949ca8478","datavalue":{"value":{"entity-type":"item","numeric-id":2337337,"id":"Q2337337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c40738f57564fc3bbb24f2fa639a71eb5da480","datavalue":{"value":{"amount":"+0.8618434071540833","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":"Q2337338$893D19EF-9CD9-4D87-B3AB-E53C34CDF69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f90b9866779c45ae9ebcdc7c54fe7d4c323f7a","datavalue":{"value":{"entity-type":"item","numeric-id":2311524,"id":"Q2311524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c9e5c9155b7000d00897e827903cd37412bbec","datavalue":{"value":{"amount":"+0.7693700194358826","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":"Q2337338$9D1B8BA6-0055-404E-8AB1-7AAE32DC212B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd2740193add98900db4272ed3db8f021d6fc98","datavalue":{"value":{"entity-type":"item","numeric-id":2311523,"id":"Q2311523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72f0e8b5c832bf6466e038a6566c4d0c6e96e90","datavalue":{"value":{"amount":"+0.7303571105003357","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":"Q2337338$59F69C2C-7723-4A1A-8474-BB6A89CD9E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e3527c8ff826c8ac797daef0d80602c1118862","datavalue":{"value":{"entity-type":"item","numeric-id":2311522,"id":"Q2311522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3703c27c35277253a25e9eeed593b2dccd5d2265","datavalue":{"value":{"amount":"+0.7180706858634949","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":"Q2337338$D7F48043-17EF-4AFD-AC99-97F1CEFC0082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8154b29ad7a2da80abcb5e7d581143448326b64","datavalue":{"value":{"amount":"+0.6946690678596497","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":"Q2337338$2E287EF5-1319-4020-8615-63560CD5D954","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"e68c451775d8e2699e023b1b9b74a9d21a410b77","datavalue":{"value":{"entity-type":"item","numeric-id":57038,"id":"Q57038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337338$4F74631F-1977-4A37-B021-6FF18C69A56D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial correctness of a power algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_correctness_of_a_power_algorithm"}}}}}