{"entities":{"Q449172":{"pageid":450939,"ns":120,"title":"Item:Q449172","lastrevid":51552068,"modified":"2026-01-18T18:15:10Z","type":"item","id":"Q449172","labels":{"en":{"language":"en","value":"Implementation with partial provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6081458"}},"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":"Q449172$3D603EBB-5C05-4624-ADE6-3366F509554D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5396956d96b33643ce34757f370adb32eaec97d2","datavalue":{"value":{"text":"Implementation with partial provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q449172$9FEB215C-D2FC-46B1-902E-02F26DBBAD55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7385df1e605278606073e1cd78a2c949ea171a8d","datavalue":{"value":"1247.91054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q449172$FFC482F6-9367-4492-91E4-292681D97C3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52ceb212740006a6a9e3ae9140df2f3fc65275a5","datavalue":{"value":{"entity-type":"item","numeric-id":449170,"id":"Q449170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$8705ADFA-A46B-4073-92D7-E06443E5D1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49158a7e3a98447a9c5d9f16a69b983ec13767f0","datavalue":{"value":{"entity-type":"item","numeric-id":449171,"id":"Q449171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$906AA3B9-093F-4521-8A82-4E51988CD086","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3bf9ac9ec63184edee159adfddd47bd75703ecee","datavalue":{"value":{"entity-type":"item","numeric-id":61265,"id":"Q61265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$0D391836-1F7B-440E-B8FF-CCE7A7E7CC09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"392bef464532f1fb6c9d97acd60a5df3e0795638","datavalue":{"value":{"time":"+2012-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q449172$92FA58C2-E7D5-4727-B9A0-F0E826E66D8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q449172$3236C6EF-13F9-4F2C-AAFD-EC9053BE1AF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3892c20212e680ba2c12ff47087a50be497bfa5","datavalue":{"value":"6081458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q449172$D254448E-BD06-4D54-B05D-8D661D0DEF4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q449172$3062A72C-F533-4828-A324-E5DB7756FB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aa8cff1c076ccfa975770e57573a3bae042dce7","datavalue":{"value":"hard evidence","type":"string"},"datatype":"string"},"type":"statement","id":"Q449172$81B9A3DF-A440-43E6-93EA-DBB458D0AD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22719d900354c189744a42d05640a22d54ea8c17","datavalue":{"value":"mechanism design","type":"string"},"datatype":"string"},"type":"statement","id":"Q449172$EE82A8BA-1653-4B7A-BAC3-82A1C80C7694","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":"Q449172$97C7C871-13FD-4987-86F8-C2749E389422","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b43cffefd93e2a9b35254498980e7604c0320de","datavalue":{"value":"https://doi.org/10.1016/j.jet.2012.01.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q449172$2EA1D059-F5D0-4318-ADCB-8770BED7DE02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8d6c5b4340510787960c61ef9b9a7d5e1c0129c","datavalue":{"value":"W2134750299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q449172$E397A080-B21A-4116-B1DD-CCE4E195D073","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"773eba147a2698567d48b8c4064910b61255fe74","datavalue":{"value":{"entity-type":"item","numeric-id":4016221,"id":"Q4016221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$CE53DBE7-C406-44AB-9B70-FFC3F0850426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"196c479de653bd117865579b67a74e1e64733826","datavalue":{"value":{"entity-type":"item","numeric-id":909551,"id":"Q909551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$121B384C-B233-420F-A157-5121E38A1B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a877627578fbae52b7a2bb68f732a8e3c03765f","datavalue":{"value":{"entity-type":"item","numeric-id":1294030,"id":"Q1294030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$A034AE8D-24B1-42FC-86B9-225650AD0DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d2958ec602c044275a73e1bb6545300969ed0c","datavalue":{"value":{"entity-type":"item","numeric-id":449172,"id":"Q449172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$98E28719-2D00-4E1D-B0DE-648E08065047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"278ab8a4dde51434959f09bb271a55b52356c88b","datavalue":{"value":{"entity-type":"item","numeric-id":705843,"id":"Q705843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$0D502562-8AC1-4C46-821C-372FE57AFE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5d32cb0dfd5945bbc872825d11d8f2e4d23a43","datavalue":{"value":{"entity-type":"item","numeric-id":864889,"id":"Q864889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$24376760-7BAC-4F65-962A-8D77ABB9F5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"415befd1410bf2545ed92174fe414c4bc89849ab","datavalue":{"value":{"entity-type":"item","numeric-id":2519482,"id":"Q2519482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$54F0B940-9B06-43AF-B593-C3B094A7BB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4544a57b86026f4fa6e098b64de6bec3430d43c","datavalue":{"value":{"entity-type":"item","numeric-id":665086,"id":"Q665086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$3410A8DF-34FD-43CC-89A1-3D4499B169AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e7a8732bf5a679baf533eb329e835687403e75","datavalue":{"value":{"entity-type":"item","numeric-id":3471808,"id":"Q3471808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$524DF7A9-DF45-4C42-ABE9-FF70EB9A5FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f87c45185265ee91c84fef428ca8f54d3708bd","datavalue":{"value":{"entity-type":"item","numeric-id":2581787,"id":"Q2581787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$2ADE72D9-DBFE-4FAE-8329-CFEA36422F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9f4a2ba4376a4169d4e6bb10e0c6ed017f6e6d","datavalue":{"value":{"entity-type":"item","numeric-id":960240,"id":"Q960240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$840AD08F-DBB5-4F0B-A399-85BD2AEDCCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545a9e32b0863af2f5a2d43c30dfb92e2da95b3a","datavalue":{"value":{"entity-type":"item","numeric-id":5954062,"id":"Q5954062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$00A7E499-9479-4C64-83AF-F873B0BB425C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f585b3efd8629f8a70a43d12cbb9a37fdcb20343","datavalue":{"value":{"entity-type":"item","numeric-id":5475060,"id":"Q5475060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$EF067322-5CA2-44CA-A46B-58B989AAA4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446769eb4a0fd758e53832b031c85a159fd56dd4","datavalue":{"value":{"entity-type":"item","numeric-id":3743039,"id":"Q3743039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$A7014969-697D-43C3-8242-49513B722B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe194da6e34ad862e9faa293752c48a41f7da7","datavalue":{"value":{"entity-type":"item","numeric-id":4586113,"id":"Q4586113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$4473091D-7153-400E-940A-27AB7CC6B332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"392ce32a0629b5b594ad372a781b24c65967afcb","datavalue":{"value":{"entity-type":"item","numeric-id":5668220,"id":"Q5668220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$D29BE73D-F602-47DC-8EDA-D41C07F1E333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118f7461ba2c995240e91aad7dfba54553921482","datavalue":{"value":{"entity-type":"item","numeric-id":3971630,"id":"Q3971630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$9D2B692D-D31D-4B9F-80FC-7AA20B0D9CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512bcf22e0f3421d1ee37791917cb6da3c8c5636","datavalue":{"value":{"entity-type":"item","numeric-id":4683689,"id":"Q4683689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$D9EEC6C4-2003-47FC-9988-1640F8563A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f0379ef63e230cc857e2b3dd6574867e66903b","datavalue":{"value":{"entity-type":"item","numeric-id":1906449,"id":"Q1906449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$8FE2FF89-1A36-43C9-A949-7BC73B119999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a6ae2a3f7a64ce7f14df2d5aeef2355f4179fc","datavalue":{"value":{"entity-type":"item","numeric-id":4262861,"id":"Q4262861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$0B9310E4-1467-4A7A-95CB-363ADEAE48EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5537a61b4223efa8c6d4a141285808a108bd6cb1","datavalue":{"value":{"entity-type":"item","numeric-id":3806949,"id":"Q3806949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$5666199D-31C3-4EB7-880E-101148EC4675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f35021e4fd55632e4804d06b0aa39e196d986f","datavalue":{"value":{"entity-type":"item","numeric-id":3483115,"id":"Q3483115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$109A7608-FCC2-46A1-9CF4-D81AFFD4EA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6527e7018fb4fc6f638f05f80534e57354446f90","datavalue":{"value":{"entity-type":"item","numeric-id":3576736,"id":"Q3576736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$A63F8D40-6495-463C-A5CB-4B3BDA0465AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68e7def639a365c6d2471c53bcd609cc69cc0b6","datavalue":{"value":{"entity-type":"item","numeric-id":3362063,"id":"Q3362063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$9F7538AF-8FE6-4C09-AA01-DC2A1F524B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"723566238aef693d9d51bb567da00a035bba1e73","datavalue":{"value":{"entity-type":"item","numeric-id":4207765,"id":"Q4207765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$F1BD9588-6DDA-41E4-BA1E-0B45E2FD0BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4939b5fb4de1d659abbee74cf9cda1bfc1c0d80","datavalue":{"value":{"entity-type":"item","numeric-id":1089233,"id":"Q1089233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$A17090CF-61ED-41E2-86EF-D1449A660670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e8ca0165584993328d96e87350ae3a180b7ada","datavalue":{"value":{"entity-type":"item","numeric-id":4339085,"id":"Q4339085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$A568CBD2-865B-483F-B7AD-5F18330A9B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15bc76db4381588686981f93ed632bd6c28c355f","datavalue":{"value":{"entity-type":"item","numeric-id":1339751,"id":"Q1339751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449172$CC53A805-BB10-47A6-B956-CC488576398B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3efcf575ed4a794684efc83bf231f2c7b9bf70b9","datavalue":{"value":"10.1016/J.JET.2012.01.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q449172$0055C428-062C-4742-9F3F-EB1E0E404139","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05028f1d5df818c46d324615f86589a1fae0981","datavalue":{"value":{"entity-type":"item","numeric-id":4683689,"id":"Q4683689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9427038a174766ad4f9737a65ac21ede546fb483","datavalue":{"value":{"amount":"+0.8767780661582947","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":"Q449172$4F9E7390-DFC0-4009-8BED-BD33EE47F129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7adcde60440b1d1ff69c7efceea18636e9de75dc","datavalue":{"value":{"entity-type":"item","numeric-id":2325665,"id":"Q2325665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635c1cb42fdad365980bc3562bce7ad1469bc395","datavalue":{"value":{"amount":"+0.7992400527000427","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":"Q449172$BE1AF7DB-D500-49B0-B01D-6ACDEC85AFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d964f3104b8ff40cf40a5e20d7bcdc1d4f2888b7","datavalue":{"value":{"entity-type":"item","numeric-id":1101317,"id":"Q1101317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be08cdde4d6919680d0a51fd99108d47ae62c5e0","datavalue":{"value":{"amount":"+0.7905054688453674","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":"Q449172$38530F98-3EB3-4456-A0F1-BEB7A56AE100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd60f8f1d67e69940b0e7c8cea0cae491aa8a9f","datavalue":{"value":{"entity-type":"item","numeric-id":5944740,"id":"Q5944740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8adfbe4e0401778ff6b2ebd20114fdb3de309ad6","datavalue":{"value":{"amount":"+0.7894800901412964","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":"Q449172$EC353805-BA19-4AF4-8C5A-1F8EB0EA355D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecda3a938c36cba93575e5aa00536a394bc09742","datavalue":{"value":{"entity-type":"item","numeric-id":472193,"id":"Q472193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8adfbe4e0401778ff6b2ebd20114fdb3de309ad6","datavalue":{"value":{"amount":"+0.7894800901412964","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":"Q449172$814B270C-F096-486D-A7DB-F2ADF990696E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:449172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:449172"}}}}}