{"entities":{"Q436402":{"pageid":438169,"ns":120,"title":"Item:Q436402","lastrevid":51516665,"modified":"2026-01-18T14:35:45Z","type":"item","id":"Q436402","labels":{"en":{"language":"en","value":"Provably correct conflict prevention bands algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059155"}},"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":"Q436402$AFCB6DD7-EDF0-42AD-A09F-DAA8D653DBB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22c2f230362ab8527124a3d2491dabda09886204","datavalue":{"value":{"text":"Provably correct conflict prevention bands algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436402$7AEE38D4-DC8B-4813-8C18-CCAFE2B3A967","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3a9768fd4c01545e0e4ae8d047af6a494e3ba92","datavalue":{"value":"1243.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436402$05DC9296-FED2-42E8-9C3D-027D3C0D2779","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b92c35f500f268d671c415a02b1967564d5af9a","datavalue":{"value":{"entity-type":"item","numeric-id":287266,"id":"Q287266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436402$AE728BBC-AA6B-4BB2-9B56-597D253DA659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436402$9ED05338-86B4-43D9-8A5B-7475EB5A84FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436402$A57D6D16-DEDD-445F-B2C1-0E6BCFFB6546","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436402$143F8942-5C1B-4A03-8765-0C65FF34A159","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436402$794B02D4-729D-498D-840C-2583F168D2FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436402$55915815-F0EB-457A-B37E-76FA5DFCAFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436402$F543C763-3C57-49FE-BB5B-99D700CADD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436402$A41333F3-745D-4DCB-8B45-DE2CEBD2D98A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc82853c1882fed74771821c1c6f2e82291fd8cc","datavalue":{"value":"6059155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436402$0D4AE821-850A-4530-9E86-7BDD02FB7B87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q436402$ADA0A70D-204A-4E2C-9E09-11A1FF5E3478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q436402$99118275-51E6-43E2-8C84-D1EC5306D756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60a9682f20434bf373f2c48909be016dcb455adb","datavalue":{"value":"air traffic management","type":"string"},"datatype":"string"},"type":"statement","id":"Q436402$B05A33F7-EFE4-4C83-A8B5-106B26DBE1DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436402$3BBE7475-594A-47EB-8E05-037B4B00870E","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":"Q436402$B743B174-B1B9-4BB1-B8B0-21B505A6FAA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fe7c8329f6af2c9362f36614aee309afc1b86e3","datavalue":{"value":"https://doi.org/10.1016/j.scico.2011.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q436402$24A3720E-C9F8-4D7A-B0EB-2D2882593450","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98c51de5c400de4e8888140b77c334edb8477c2a","datavalue":{"value":"W2136863563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436402$70FFC636-A4F3-4023-A120-EC6762801F42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc1eae19d26dedf39074ff685f832a12a5993ec","datavalue":{"value":{"entity-type":"item","numeric-id":4115333,"id":"Q4115333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436402$B4110AE3-247F-4CAC-A207-D5BAF63B3DB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa2b2cd981c2984b4bfa4e455a4889b3e8651907","datavalue":{"value":"10.1016/J.SCICO.2011.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436402$8C3A91C3-505F-45FB-8918-83FDAF42DD9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da8f7325a563d20583682c539f6621514e7f598","datavalue":{"value":{"entity-type":"item","numeric-id":3612661,"id":"Q3612661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df6af77a40e0c7e50cead667808679123059924f","datavalue":{"value":{"amount":"+0.7971383929252625","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":"Q436402$EE320940-4946-4ED8-8F9F-5D1D1DAB3C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21a6cf38ead5bd319ef94545b4a6d35e78e43cd","datavalue":{"value":{"entity-type":"item","numeric-id":4787249,"id":"Q4787249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d4d99d1658f2f16411fab09e45564072ccb5f2b","datavalue":{"value":{"amount":"+0.7235721349716187","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":"Q436402$E37B877C-E238-4AD3-851D-1CA33D87853E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac68d7520f6e0e77b6fc095a2a1255dc9f64894","datavalue":{"value":{"entity-type":"item","numeric-id":4370743,"id":"Q4370743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1287d3cecb758e01a6da2289f1c6464a1b443722","datavalue":{"value":{"amount":"+0.7222334742546082","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":"Q436402$81DFE101-B284-4290-8BF5-A61DACFB72A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb3b9aeeda61fd90f0b5c34f049a6eef47e110c","datavalue":{"value":{"entity-type":"item","numeric-id":4393077,"id":"Q4393077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be15ac9dbb1f9f082000c936cb756cb8266ebb13","datavalue":{"value":{"amount":"+0.7205225825309753","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":"Q436402$C1F9DACD-B69C-410E-9A67-7EBC47F9BD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ec1b6023b79c30af14e181ef6c72a0197ed07c","datavalue":{"value":{"entity-type":"item","numeric-id":384510,"id":"Q384510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd1754d5298c246b9f516d3f1a82c5df9aaff681","datavalue":{"value":{"amount":"+0.7132855653762817","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":"Q436402$19FE2EE8-8306-4E7B-BD21-EC654A0E62A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:436402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:436402"}}}}}