{"entities":{"Q3300809":{"pageid":3311517,"ns":120,"title":"Item:Q3300809","lastrevid":53782040,"modified":"2026-01-25T17:25:09Z","type":"item","id":"Q3300809","labels":{"en":{"language":"en","value":"Model checking of robot gathering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7226022"}},"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":"Q3300809$39E4C1E7-10C3-43B8-9F1B-386BC9425498","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7b7287e4673766c5fdf67d0471a081130b31f29","datavalue":{"value":"1487.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300809$2FABAE4C-52E4-4E27-A70F-B932686B3D66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8840cbdfaa4f8acd55aed31d3dbcdebdb89d7980","datavalue":{"value":{"entity-type":"item","numeric-id":3300808,"id":"Q3300808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$F9528A1F-D833-4BD0-B19D-962552E13C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06bd0a5cbfb1f5eedb76e8347b72e09e7f2df7f5","datavalue":{"value":{"entity-type":"item","numeric-id":360278,"id":"Q360278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$D781AC49-BCCC-4D63-99A4-8C777B46EF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c8b8152eb049581c2538d13b0e2ff0fba8e40b","datavalue":{"value":{"entity-type":"item","numeric-id":520242,"id":"Q520242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$D35B6F48-5742-4375-9F87-D6481A3C1677","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b60f1b35d6daf10817fede04796910fcdeed36a5","datavalue":{"value":{"time":"+2020-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3300809$726D19DA-0C45-47AE-94E5-58E6FEBCC48D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300809$340791BF-54E2-4CEF-A20A-3B15BE3CDC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300809$034BE6B3-F31E-4413-B68E-4D9629DC4483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300809$99D757F3-447D-4562-9D71-10FD1B373C88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e88c5db452fc360f3e51f8232bd1d36b93657d20","datavalue":{"value":"7226022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300809$1FEC6AB1-EE59-4D2F-AF20-B78228EDE771","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3c87a222bff4d19b3a62d2427de238f8e7f7f9","datavalue":{"value":"mobile robot","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300809$12B899A5-F0D8-4B8A-A738-C6E24C2A911A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54f10a467f93d26c27feffdc24cbc60321cbac98","datavalue":{"value":"robot gathering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300809$0D015EA3-4976-4DE3-B4E6-2070D35D7572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300809$56066DF2-6237-486C-80B2-FED40C6AF49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300809$73BD1056-9EA2-486B-A2D0-A70279A6CC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300809$C753EFAC-79B8-444B-ACC1-7739A40B746C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$E1A59A78-62A1-436D-BC56-A6EA9FF7D917","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":"Q3300809$E9BAAB55-B5F7-427F-AB77-F652D70DD3D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb2cf021b6e121a5ccd4fcb2177e5dd979272f9","datavalue":{"value":{"entity-type":"item","numeric-id":5918186,"id":"Q5918186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$6C69CE31-E246-401B-96EE-FDEB0987A245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346bdb69d3ad42b404f56768eb26b48802130ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2359768,"id":"Q2359768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$82A26975-490B-4130-AC6A-33CEF9B8951F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecf3eb55ab347cde6bb71a11067759a5b1bf77","datavalue":{"value":{"entity-type":"item","numeric-id":3588311,"id":"Q3588311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$5DB80376-18CD-4CC6-96BB-E66737E73E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c80ef74afbbd75f12edee649038db3c1835eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":1660934,"id":"Q1660934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$8EBFBACD-BE41-4D52-9AF8-C4D7673FA00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2811cc9cdb238d1da1050785b91ec5d30281bf3d","datavalue":{"value":{"entity-type":"item","numeric-id":2256947,"id":"Q2256947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$B5F61DDD-0E03-4D53-BB72-E1C549FC755C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbeb0ebd5129bb5da5421dde9c2417cffb0e58e","datavalue":{"value":{"entity-type":"item","numeric-id":494795,"id":"Q494795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$C563C5AA-9766-4068-902B-A9100DBE6B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7d758e42211fa8d54acb970fa10734b99691e7","datavalue":{"value":{"entity-type":"item","numeric-id":518678,"id":"Q518678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$E877E216-6615-4394-A72F-E0C0D0339C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93216d7fab79f8718e4d33f4c742ec24b7a11268","datavalue":{"value":{"entity-type":"item","numeric-id":4989020,"id":"Q4989020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$139073F9-AFD3-48BE-A84B-4C59BACA7DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dedace18a499e7105ed83b481f7cc1d6985d1ea1","datavalue":{"value":{"entity-type":"item","numeric-id":2392925,"id":"Q2392925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$F3AABC6A-3763-4FB0-9129-149561BD102D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$DB9B8F76-8865-4D4A-B6D8-03BB94D05360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c438d9619a1948fe160d10c2caf8bfc34f389fab","datavalue":{"value":{"entity-type":"item","numeric-id":729813,"id":"Q729813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$72F70D81-A164-432A-A88C-65B25E046EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c0a275105eb0504cc50f073870e4fb73627519","datavalue":{"value":{"entity-type":"item","numeric-id":4268714,"id":"Q4268714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$FD0B8F3F-2EEB-4B75-85DA-5910A75FB99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af9f84907dcd959f89f104e141f0caaa5e21c85","datavalue":{"value":{"entity-type":"item","numeric-id":658669,"id":"Q658669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300809$F9A88DC1-0FAA-4FD3-AB4E-6A0E0EA98C22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"138b43df7a79a57da52c8a6cf3beea1e25bbe5f0","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.OPODIS.2017.12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3300809$FBF87B6C-3D40-496D-A096-7903E6DB1031","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b649fbd53a040629fb2a18410002769eecc548e","datavalue":{"value":"W2795221731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300809$40BC5A43-55BC-430D-A0D1-691E493173EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c97b45a3ea9a078793cb68afed673fa1d464908c","datavalue":{"value":{"text":"Model Checking of Robot Gathering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3300809$67CB160C-8E5D-445B-BB2A-DF4FE4C41960","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a60287ff71dc56af60961ad707c2d0b7816f8dc","datavalue":{"value":"10.4230/LIPICS.OPODIS.2017.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300809$5C7FDA6F-FD59-40DD-A6A8-E91F75DAB123","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18736b1780768c0c5e100234d1b760f9a9e489d","datavalue":{"value":{"entity-type":"item","numeric-id":4989020,"id":"Q4989020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da27af4eebc65db8499b3e4a09c8e48bbf86916a","datavalue":{"value":{"amount":"+0.8411316275596619","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":"Q3300809$25B38D19-78AE-41E2-8141-CC4166365767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c020f4e830ba582e5d03d27e7de7d8a2ebe79f43","datavalue":{"value":{"entity-type":"item","numeric-id":2359768,"id":"Q2359768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f35ae7102a344c81960b257af9498e924940110","datavalue":{"value":{"amount":"+0.8085228204727173","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":"Q3300809$8D1EEF1F-DAEE-4B93-9A7F-EC85F4366E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796669218bf4998f7f72d636c5d6fc6b465e1abd","datavalue":{"value":{"entity-type":"item","numeric-id":483063,"id":"Q483063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ae7adbf006b2269ed2943159b3f65d25833dfd","datavalue":{"value":{"amount":"+0.7822089791297913","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":"Q3300809$DBD93C76-B36F-442C-8AE4-F573773832E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c83586bf05e3f3c63f8b30a4f51024e799a5cde1","datavalue":{"value":{"entity-type":"item","numeric-id":2225474,"id":"Q2225474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823194fad250413de1afdb7f884cd01d05b26291","datavalue":{"value":{"amount":"+0.7750705480575562","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":"Q3300809$10AC80AE-A7B1-462D-8DAD-814E484CAB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ee481b174ef180f2e5ae031d1cb9a316e92e22","datavalue":{"value":{"entity-type":"item","numeric-id":1660934,"id":"Q1660934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb2094df216004e0adc442c1ac084c8c775c02c6","datavalue":{"value":{"amount":"+0.7709314823150635","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":"Q3300809$2EDDC612-3950-4CFD-8642-525E18323EC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3300809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3300809"}}}}}