{"entities":{"Q5195247":{"pageid":7224819,"ns":120,"title":"Item:Q5195247","lastrevid":92113205,"modified":"2026-06-05T00:54:04Z","type":"item","id":"Q5195247","labels":{"en":{"language":"en","value":"A formal proof of Sasaki-Murao algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106483"}},"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":"Q5195247$0A0E0E84-CC86-4A63-B2EF-6F38A377B8FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"337bb98a1777ee52a3140e23ebb780716ac71aa4","datavalue":{"value":"1451.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195247$64C2FCF2-8877-401C-9664-3F1BD13B15EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195247$1E6EF556-710D-45F1-8DD9-F9A50BF1A882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b6655ff0c1854542b6f28c9af39f0877a44635","datavalue":{"value":{"entity-type":"item","numeric-id":2319989,"id":"Q2319989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195247$4DC12AED-1399-423C-B588-88C26A64DBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9837115d701db3c6d1129817eee769862467ad1e","datavalue":{"value":{"entity-type":"item","numeric-id":2844695,"id":"Q2844695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195247$21A71FB2-6B1E-4376-A594-C5EA327996A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-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":"Q5195247$E1DD8F3A-5656-47E5-B415-E4D0BEAA0D9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195247$F1799822-50B0-4B34-91B4-D29CB4E7803F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f35883713e23ca3f0ced48b60a92f4891f4d526","datavalue":{"value":"15A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195247$AC67B3D2-21E9-415F-8FCF-637E0308A6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195247$515BFA86-87B0-4502-B616-30B2E6B8455B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195247$2D74BAFD-C97D-45E1-9F24-2A2DE90140B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14425d85259492bdb131f55b824bcebac5530b50","datavalue":{"value":"7106483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195247$B0A57CF2-30EB-46CA-A44E-853BDA16B798","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195247$25C9ED98-B5CB-48AA-98CE-E3920B336B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9337f62f2e2e1a0506e5668f45d3e954d0bc5d5","datavalue":{"value":{"entity-type":"item","numeric-id":16057,"id":"Q16057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195247$C8859C42-F160-42F8-BE41-67768BA8D227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195247$8C0B7CC8-B8A1-49AC-8A51-8DBCA28FA13B","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":"Q5195247$53A8BAC8-3266-409C-9E7B-B2DF2E7D635D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"393af79b8d79de48becda71ad0ee55351b955048","datavalue":{"value":"10.6092/ISSN.1972-5787/2615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195247$BF1C0EB0-769C-4C17-BB01-BD3CE22C0A3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e05246b07b174c8fcb0d8a8a08ef10b9e83113","datavalue":{"value":{"entity-type":"item","numeric-id":6108811,"id":"Q6108811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e51b946fdc7a0a14b3e697c1397863b3951e65","datavalue":{"value":{"amount":"+0.7127315402030945","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":"Q5195247$B42DC071-50C4-4181-8A70-EA58D655CB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1fdd9520e602dfc771c2278c107adc0bccaec9","datavalue":{"value":{"entity-type":"item","numeric-id":333325,"id":"Q333325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3607609f3ebddc873a660c0600c66643751ad460","datavalue":{"value":{"amount":"+0.7076001763343811","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":"Q5195247$BA3FAAC7-1D62-47C1-81AA-B1187098C434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a0309e7e688c4604b7e5d11f12c3d299d8b508a","datavalue":{"value":{"entity-type":"item","numeric-id":5371950,"id":"Q5371950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa2006cfc9bbaa31d1f08ae95b766dea9228894d","datavalue":{"value":{"amount":"+0.7063036561012268","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":"Q5195247$FFE4A136-2D81-4246-BA7A-DC8A3A052051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c160088cf25b70d48dfb6c6d0df5e8c0b8a72f7f","datavalue":{"value":{"entity-type":"item","numeric-id":4249903,"id":"Q4249903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53249796eaa10c4f3ca29984a081fcbf0ff906a8","datavalue":{"value":{"amount":"+0.698334276676178","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":"Q5195247$937BEDF7-4A1B-4883-8454-FFB591B84634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e015d4792a0df6f68d5215099472987a4105131a","datavalue":{"value":{"entity-type":"item","numeric-id":5394597,"id":"Q5394597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7968ae3799db18b1b89b6b61f1629ef05e6f7aa1","datavalue":{"value":{"amount":"+0.6911960244178772","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":"Q5195247$CA317C36-6E24-4CC0-BE94-92C61DCAD7E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal proof of Sasaki-Murao algorithm","badges":[]}}}}}