{"entities":{"Q5484596":{"pageid":7514156,"ns":120,"title":"Item:Q5484596","lastrevid":49898713,"modified":"2026-01-11T20:09:53Z","type":"item","id":"Q5484596","labels":{"en":{"language":"en","value":"Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047855"}},"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":"Q5484596$787CEF10-781E-4FDF-8AED-563168B589F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecc27d2037debcaca35e15f714473c23305998b1","datavalue":{"value":{"text":"Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5484596$366F667F-1AD7-4574-9A4D-028CA2D554AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9e61ff848192cff3eba1a5944cf91eccd082ea4","datavalue":{"value":"1098.93026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484596$C6362661-5912-4612-8FF6-F82D4B4A4A51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b37828b899939496191337b0792d3b95d05a59c4","datavalue":{"value":"10.1080/00207720500438472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484596$F7A7C771-4F10-4C0E-B858-C5AFC8DF70F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65b6bfc78c88be53895400c1d4d3d9a4155b2814","datavalue":{"value":{"entity-type":"item","numeric-id":2457149,"id":"Q2457149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484596$88CFD61C-BC59-4C3A-9043-816AB0710801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7a6fcda79a5c0c8a2f38ef48439ab964225c3ec","datavalue":{"value":{"entity-type":"item","numeric-id":434446,"id":"Q434446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484596$EC754776-DECD-4A60-B15C-D005F521EA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a26342202fd577b6c88385f09a52be474b7cc00","datavalue":{"value":{"entity-type":"item","numeric-id":434448,"id":"Q434448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484596$BF43092B-0CCF-4921-85F4-AB7227F02040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf16e294fab6eb8225d6f986625789e27c59b15","datavalue":{"value":{"entity-type":"item","numeric-id":434447,"id":"Q434447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484596$18872C6B-990B-4297-884B-8833AB01FCD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a75cc68bad3bb181567a6c54a319178a2e20902","datavalue":{"value":{"time":"+2006-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5484596$9142E5B0-8817-4898-95DB-F7431413F7B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484596$6649A395-C6AD-4835-A47F-14E11CD5578A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d0b35693999389472f14c942570e95cf02f0a70","datavalue":{"value":"5047855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484596$D3DFD70E-524C-40FD-9F28-2FB038905FFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cce186478a31fa015231a9ff8e84b09c5b6763","datavalue":{"value":"Kripke modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484596$5EE07C9D-1196-4FEA-AF8B-1AD5997AF711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bab1d6166b813a0fefb0e4e9ca965b7936880c6","datavalue":{"value":"multiple robots system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484596$B511858D-EB0D-4C1C-930A-7BCB2E2E0620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53610f9cde5b2b674de69d62b29ccf988cc99e82","datavalue":{"value":"minimalist communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484596$39418D60-08B3-47C1-93AD-2B3CC7625455","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484596$6C11B3D3-8F2E-4376-BE6D-262801E21D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484596$77B67DC9-CE47-4E75-9953-F22C024D9C34","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":"Q5484596$A8C4DF78-DB6E-4742-BF3C-C66C440384CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d52d51ae4355de2c19bfa23d767ddfb74177a8a0","datavalue":{"value":"https://doi.org/10.1080/00207720500438472","type":"string"},"datatype":"url"},"type":"statement","id":"Q5484596$B52F6A60-F927-4C40-8F7E-09CEA6E73D39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a0ce117ea10679f4871750b7a208548ad7905b2","datavalue":{"value":"W2057791660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484596$21C09E49-D966-4747-B6CC-15C1963265A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c602c6f2d0646b7a5ddf32f39f85c997b00006","datavalue":{"value":{"entity-type":"item","numeric-id":4263654,"id":"Q4263654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484596$207C0F19-34DF-4FBA-A17F-46B3B3BEBD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484596$00182C3C-E288-436D-BD96-2906434DE1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484596$E0AE5098-7FA4-492A-93AB-C5C8665EE651","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d28953bd0f0c2d8508713f8e55254124cfc990d","datavalue":{"value":{"entity-type":"item","numeric-id":6544798,"id":"Q6544798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484596$C491379D-1009-4C9F-9A6C-C52583B82B4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd692b4fc7e4cbb62a2b8b6d5d44aec791409e5","datavalue":{"value":{"entity-type":"item","numeric-id":2457152,"id":"Q2457152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cbefc3bcef0172ec7edd04310104f8292133a17","datavalue":{"value":{"amount":"+0.8289276361465454","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":"Q5484596$7FD2AAE7-B977-4CFA-8E52-B03BE3791862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9af2354e1d855fdef41250e3fea02e4e90ef639","datavalue":{"value":{"entity-type":"item","numeric-id":3161546,"id":"Q3161546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0ca250caa1576e5dce96fe12947906b770dd8c","datavalue":{"value":{"amount":"+0.8068886399269104","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":"Q5484596$43F60D74-891D-4B88-90DE-04F681782D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"249a996d3e4f179e3bd7aca725b2ad8e6438804a","datavalue":{"value":{"entity-type":"item","numeric-id":434449,"id":"Q434449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf69fb264bd87dc125e1a8286b620db790da3b36","datavalue":{"value":{"amount":"+0.7898901700973511","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":"Q5484596$FDD4064B-3896-4E48-AD3A-0F86FA241AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc24da84f43d8a841980b7391b4bb14542fae28b","datavalue":{"value":{"entity-type":"item","numeric-id":3016398,"id":"Q3016398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e6c66da245cc6cf2ebf514dc12accc97f5bfbb","datavalue":{"value":{"amount":"+0.6721978187561035","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":"Q5484596$452C1BBD-C745-4304-BCEA-CB1444FF3894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bc71288bc152c8b66c4e360ece91d01118d8b11","datavalue":{"value":{"entity-type":"item","numeric-id":5045474,"id":"Q5045474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1936743da0df21f270a840a5b715693c8cd3d36","datavalue":{"value":{"amount":"+0.6572427749633789","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":"Q5484596$FFA74982-B67C-4F77-8793-C2888E569B49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5484596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5484596"}}}}}