{"entities":{"Q5411475":{"pageid":7441049,"ns":120,"title":"Item:Q5411475","lastrevid":92265170,"modified":"2026-06-05T01:17:15Z","type":"item","id":"Q5411475","labels":{"en":{"language":"en","value":"Towards theory of massive-parallel proofs. Cellular automata approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6287628"}},"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":"Q5411475$553C2D94-B3BD-4943-88CF-5114F987A9E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24af3d67232d6d911fe458dc698e2f2bea52912e","datavalue":{"value":"1286.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411475$67375D37-843E-421E-BAD2-C8824834B82F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74174989edf3de87d09afb1b8337461d64ad3b6e","datavalue":{"value":{"entity-type":"item","numeric-id":1754000,"id":"Q1754000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5411475$68AD9DA0-91D3-458E-9D95-990DECBBED1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3041a7bd5c74727d19353b43fab84bf78332b1f","datavalue":{"value":{"time":"+2014-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5411475$4133A0AC-9797-42C2-BA71-7E42AB851E75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5a93e3728c4fbe3706ffb3941ecc031462219f8","datavalue":{"value":"https://arxiv.org/abs/1011.2790","type":"string"},"datatype":"url"},"type":"statement","id":"Q5411475$F35FAFC8-9008-4EB9-A236-A8CA3ACA665C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"48d9bf7a11ae75f884eabd4779f4bdab2f9044c6","datavalue":{"value":"http://www.filozof.uni.lodz.pl/bulletin/pdf/39_34_3.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5411475$ABFFA808-50E3-4DC8-8AD2-C9D29CA3D708","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411475$A6618B7C-1C5F-4D39-8FC8-3C503A06B779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411475$196371F9-1DFA-458D-B1A4-BBEF89317E23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"550b41a3e3a7ec7dec42f91183bfcc71452ce69f","datavalue":{"value":"6287628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411475$DF590E11-AEA0-4024-9BF2-8EFA335D9E8B","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":"Q5411475$ECC04D8B-7334-47D3-A688-ED66BE15D469","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2490486238c80dc2e9a396aca012a4d69d437354","datavalue":{"value":{"entity-type":"item","numeric-id":3019780,"id":"Q3019780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6a1c7e390d3bac2385a09d0eb86fbc51bed55a","datavalue":{"value":{"amount":"+0.7314261198043823","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":"Q5411475$8FC4133D-9B8B-4804-8EBA-CB208CDFE15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b14fd0224053b1a96d2f386a99c85c283cfad9","datavalue":{"value":{"entity-type":"item","numeric-id":3989948,"id":"Q3989948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f3207c3e3c322748e4d2deaca97788675ae173","datavalue":{"value":{"amount":"+0.7208060622215271","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":"Q5411475$059B5A70-192D-4F59-9DA2-1C8A8111D656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806567263a17dafc8d52822b63e9fc96f7616a1c","datavalue":{"value":{"entity-type":"item","numeric-id":1314380,"id":"Q1314380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56596a4beaa65e957d1f13b61f6758c66c1ddaaa","datavalue":{"value":{"amount":"+0.7195219397544861","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":"Q5411475$5946B28D-F062-48C7-B62E-D2EE6C60DCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af464f4b2179a8514c4d73c0d4ca9a62fb62f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1817072,"id":"Q1817072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b467dace14a04c8717d8b8af11756f6a2a1745e","datavalue":{"value":{"amount":"+0.6910149455070496","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":"Q5411475$58A43CBF-4721-41D0-B4BA-4A150139380E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1266b059ef1544b49cb9ff0e5defde361b6de80","datavalue":{"value":{"entity-type":"item","numeric-id":5321501,"id":"Q5321501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9715305774fc0a8125e1e045e285ad3ee7d50e3","datavalue":{"value":{"amount":"+0.6884834170341492","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":"Q5411475$D5C44F73-79F9-4F02-8A22-711FABF9D50F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards theory of massive-parallel proofs. Cellular automata approach","badges":[]}}}}}