{"entities":{"Q1362774":{"pageid":1373513,"ns":120,"title":"Item:Q1362774","lastrevid":46485174,"modified":"2025-12-24T21:40:07Z","type":"item","id":"Q1362774","labels":{"en":{"language":"en","value":"A mechanical proof of Segall's PIF algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1045402"}},"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":"Q1362774$0A8A7CC0-0F06-4D96-9E02-7861E082D8B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6585439a82e3499229c7d5fa1c9f923b68c1dce2","datavalue":{"value":{"text":"A mechanical proof of Segall's PIF algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1362774$17ACBB27-C982-4E15-BE0E-406C92820AD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"697ed19a82245bd26caf7c6ded34ffeb3cecbed1","datavalue":{"value":"0874.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362774$E68BDC93-3CD6-4279-B4F9-5793C12C10EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d5fcc4525dff986d5a0201905e527b3ccf5ab3a","datavalue":{"value":"10.1007/BF01211619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362774$AF958C72-1B07-465F-8055-8956EC063A94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362774$690E9330-628E-4DD9-94B7-FA1EBB7D909B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362774$818F9B6C-3B47-4F3F-841B-DAA2EE2D40F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"723f17e9f8561cc274a12066e98f02324dedfa99","datavalue":{"value":{"time":"+1997-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1362774$874E3D49-7C9B-4408-BBB8-9FBE3794DD11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362774$0B194A30-DF47-425F-B52D-013DF27F800E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362774$76238B0C-35E3-4A27-8F83-C0B3CA150029","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e27602cee7ca67404978c83bffe13b4ce78d515","datavalue":{"value":"1045402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362774$6D5737DE-B419-41DB-9AD2-531BB7B7C56E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39634b738a9d18774b19e9a709fbd31f5996cacd","datavalue":{"value":"propagation of information with feedback","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362774$F90A0DC6-CF4E-4523-A95B-22F1821FA136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e18b5f74879d022f2f865fc8c3928cd3c59ce0","datavalue":{"value":"distributed algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362774$4053432F-5E8C-4EF4-B353-AB6189452F1B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362774$64910581-2665-4B61-849C-2A0B0387320D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362774$6C0A17BB-4E0D-4DEA-A3DC-5B161E939F4D","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":"Q1362774$638F10E4-FFDC-4380-AA2D-1C5DB1388E78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71372fdcb48501c76512b55e87a54968a7919d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362774$2447C295-F348-4EC8-8C07-0FAA9DD96FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362774$9C6C519E-1B38-432F-B52D-E6A322C2DF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362774$4F9A18D5-B25B-40CE-88E8-3F8A3E951271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cd4c0fc1f5a8f42092f317e184d08f13e82f9d","datavalue":{"value":{"entity-type":"item","numeric-id":3964023,"id":"Q3964023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362774$5FE1D6D6-F403-4592-BFDF-24C307DD31E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6504ea2fe950a84d1f07c73d50950087b71030ff","datavalue":{"value":{"entity-type":"item","numeric-id":1125687,"id":"Q1125687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362774$86B423DD-2690-41CC-9462-4C23945C15CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0566d415668db9bb3d61a9252a66340084dfb65","datavalue":{"value":{"entity-type":"item","numeric-id":3313789,"id":"Q3313789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362774$C289E875-4B65-4234-B209-51C1AEDFD8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad55c99a91fa8f6b9f828213a7ae3827c897c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4325545,"id":"Q4325545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362774$841500C9-681B-4CFE-9FC6-5CED434800B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c403ad6c1829f57c8a17a90ef9e18040fa6035c","datavalue":{"value":"https://doi.org/10.1007/bf01211619","type":"string"},"datatype":"url"},"type":"statement","id":"Q1362774$CE8A6C64-0488-498E-894D-3A1D439038FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0fd15039991514e7f5e5a1bd6bb4936e9fb2594","datavalue":{"value":"W2074029023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362774$EA9AE8F4-9F4B-43EF-8C44-D278D9F3E937","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17197a407b5b7a47c6b46d2d4ac390563ed58ae2","datavalue":{"value":{"entity-type":"item","numeric-id":1125687,"id":"Q1125687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8afa11a1d8c42c2b3ad8765ab1d59dbe3ad0d401","datavalue":{"value":{"amount":"+0.8018096685409546","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":"Q1362774$0645EEE1-053F-4BE3-BDB1-7D09BE77CCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd11e3b5fdf82516bd29db4f5710cd63eea3cb74","datavalue":{"value":{"entity-type":"item","numeric-id":2576570,"id":"Q2576570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e45696e0adcddd020fc2281ff0ff2cc6c492def","datavalue":{"value":{"amount":"+0.7915186882019043","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":"Q1362774$F8A69C42-28C0-4E34-9331-E71A3DA5C5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d7d07566a4d486f9a0e72db6cfd1969541beb8","datavalue":{"value":{"entity-type":"item","numeric-id":5285691,"id":"Q5285691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd7a0212add60ba9d493e5d3e38d3fb52e669df","datavalue":{"value":{"amount":"+0.755028486251831","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":"Q1362774$E3D3EF46-59D5-45C9-8F7B-86F2A05F7103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2976377a66c5997a5d9f768c20aed296c77ce056","datavalue":{"value":{"entity-type":"item","numeric-id":2915172,"id":"Q2915172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc8a8ce2743f906df7de3703816439e8a448f7c","datavalue":{"value":{"amount":"+0.7507708668708801","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":"Q1362774$1A63AD9D-A19C-4692-9402-233060F134E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1362774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1362774"}}}}}