{"entities":{"Q5039508":{"pageid":7069085,"ns":120,"title":"Item:Q5039508","lastrevid":56732481,"modified":"2026-03-19T12:15:17Z","type":"item","id":"Q5039508","labels":{"en":{"language":"en","value":"Multi-agent safety verification using symmetry transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600819"}},"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":"Q5039508$E7AC167B-A66D-471D-8AE1-2C9F4B785EE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be9dea42b530873a3e0496b617b94390cf9ef1d4","datavalue":{"value":{"text":"Multi-agent Safety Verification Using Symmetry Transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5039508$D3A741E1-9230-4CD6-832B-E1274F0D33AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33565c4d7e9525ac1d40e100bbd9927eaac9829f","datavalue":{"value":"10.1007/978-3-030-45190-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039508$E4DAB764-B7A4-4A3E-81AE-BD7FE653E6EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6ec07ab5cfbf35ea984a9b8375e0b4f70e18254","datavalue":{"value":{"entity-type":"item","numeric-id":3297585,"id":"Q3297585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$55BE2849-2CF3-4F40-9DED-A86DC3BD0722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b546aef42301a002b0aef5020d7a47d7a4e348","datavalue":{"value":{"entity-type":"item","numeric-id":3297586,"id":"Q3297586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$4A97CD81-FFAB-42C3-9357-1EC2C66A4C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"324e54d20b268f5e07e96fa166a32e3445f86344","datavalue":{"value":{"entity-type":"item","numeric-id":2024374,"id":"Q2024374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$6929B52B-42D5-4804-88E4-6EF34C97CDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90393429fed72c1283fc5e6b05722ab07dfbec00","datavalue":{"value":{"entity-type":"item","numeric-id":432131,"id":"Q432131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$F5FD9F93-8967-485F-B79B-799D81539D6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$7BE24E66-BCC4-4F9F-991B-D7AA4618F3CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5039508$8459CC3A-1BA1-4B08-A25F-523291C09237","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee237c5d8f1381879f2fc4cca67fe1c535d254f6","datavalue":{"value":"https://arxiv.org/abs/1911.00608","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039508$1174B733-6F31-4783-AF1D-493C6C19E1C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039508$BD39044C-FE95-496B-BE3B-6288864DBDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"087647ba2abb2bab4ed9f998c2f5e73922e112f3","datavalue":{"value":"93A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039508$A91513DC-722A-4600-AE64-29C3ACDBE057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039508$39BC70AE-8ACC-4F08-AD94-A4F55C8978FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ca8fcf531b40af19b88eddb919d2390b3264052","datavalue":{"value":"7600819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039508$A33DE883-82D9-4476-A0DA-DC9071731B62","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe3b952b514ee684410972a5effd2c1c47e84d31","datavalue":{"value":{"entity-type":"item","numeric-id":37397,"id":"Q37397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$0E80E382-2D61-420E-86F7-14896279E290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a3e8c914f9136fc479e3de0d5a736e858c9b352","datavalue":{"value":{"entity-type":"item","numeric-id":31984,"id":"Q31984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$9ABFD51E-D037-425E-9C70-F5EA3C647CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df9f46973d8c78aa3238ba7e8fb358838da0670f","datavalue":{"value":{"entity-type":"item","numeric-id":32636,"id":"Q32636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$D6B80F69-5FE2-43A5-9BA0-0793159CB14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261398694b2d4d9717c58af8a1057e3f100b6c64","datavalue":{"value":{"entity-type":"item","numeric-id":31961,"id":"Q31961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$C6798000-34D6-4E11-87AA-9D3C0C4CAAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"72c6069446114293a8cd5f220ea8f8621372c383","datavalue":{"value":{"entity-type":"item","numeric-id":32635,"id":"Q32635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$A2F16DDD-41E1-4591-89D2-E455F046C745","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":"Q5039508$AE2256E3-B97F-4D81-B1D9-AED74E77DF27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5eadce287792fbf304122d00b6cb69259f32506a","datavalue":{"value":"W3022799457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039508$60ACB48A-50FC-49FF-8FC6-9D8E08B70B52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f66cc009c3f39845e416a947dfada1e7f78672","datavalue":{"value":{"entity-type":"item","numeric-id":5239215,"id":"Q5239215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$E24C67FB-D3E2-4A6A-A1E9-CADC3EAF7D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d9f72cdf060cbc7fc7b79e5044cf887a3759f4","datavalue":{"value":{"entity-type":"item","numeric-id":4974399,"id":"Q4974399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$8D812670-98C4-4A20-B86F-3359C0EC7E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02c90d5dfcae50baaaab8bcbb80dfd3f95124ef","datavalue":{"value":{"entity-type":"item","numeric-id":3612969,"id":"Q3612969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$527BB466-7E1F-43D2-8263-00D630BDFED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ccbd6e154af64b688640cfa7069952b1451025","datavalue":{"value":{"entity-type":"item","numeric-id":4633548,"id":"Q4633548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$4457B3F8-AE32-47EA-94B9-A2CCF79A97BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96ee717de8ba0df064a874515b5550b9be81f9d","datavalue":{"value":{"entity-type":"item","numeric-id":3460584,"id":"Q3460584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$73AC32BD-777D-4A0F-8B56-E00565A115A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"783311e1a51f1584d001f5293611ae73715bdb54","datavalue":{"value":{"entity-type":"item","numeric-id":2151266,"id":"Q2151266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$DB0B688E-BECE-44D9-B1CE-61D6E5111474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$EA792B84-8A21-49D9-83A2-C2A150CF1299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f27943dde99bb39afad79c77ab200435841e28b","datavalue":{"value":{"entity-type":"item","numeric-id":5309785,"id":"Q5309785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$A1BD60DD-D738-4CA2-BDD4-B24A75B59785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751878fdc1f37a263cd4739899bf1bb52236d225","datavalue":{"value":{"entity-type":"item","numeric-id":3297587,"id":"Q3297587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$A43986CC-9D28-487E-BBBC-BF399BC563C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c93a761ac3460b3352275527b9e5e1b46e01bd","datavalue":{"value":{"entity-type":"item","numeric-id":5274109,"id":"Q5274109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$C7E1E9A3-5FA7-4023-A3AC-7CFAEB83A956","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d3515117e5a8fd48bde03e15ca490b9369d66c","datavalue":{"value":{"entity-type":"item","numeric-id":3297587,"id":"Q3297587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"295329a7b62706f9b0ea23c059b54a759bd2e92a","datavalue":{"value":{"amount":"+0.7440696954727173","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":"Q5039508$3E145BD8-F53A-4774-8CFA-766E77AABB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a1436ccda20475d9fbfd926307ca5c1c202c10","datavalue":{"value":{"entity-type":"item","numeric-id":5756747,"id":"Q5756747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470d8a7fabbcc115f0a60ba9afec6006b32e3028","datavalue":{"value":{"amount":"+0.6581065654754639","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":"Q5039508$6B47265E-D333-42B1-B686-094724327343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a309d0f4e867ead9bc2a1ab4474fe77e993b3198","datavalue":{"value":{"entity-type":"item","numeric-id":4551137,"id":"Q4551137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3503576f93c99f81035f4f05e4196ccf9d5de12","datavalue":{"value":{"amount":"+0.6539208292961121","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":"Q5039508$A127819E-B3EF-42A3-8B97-2487BF22FE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc547065e7497be895422f540da9df1d052b5ff2","datavalue":{"value":{"entity-type":"item","numeric-id":2796070,"id":"Q2796070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e7cce2ad70298f1b65fe7e101154d729dc8ca6","datavalue":{"value":{"amount":"+0.6451573371887207","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":"Q5039508$7601D7C6-AA11-454C-B559-73146987F0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ba18f1be3703488d710342a6811556a5d8b831a","datavalue":{"value":{"entity-type":"item","numeric-id":4518902,"id":"Q4518902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df08e61b894ab8f326d3fdef00c0bd6cca19d1e4","datavalue":{"value":{"amount":"+0.6437698006629944","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":"Q5039508$4B3DBE50-1208-44D4-B710-04B43A72E336","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039508$0368521C-1BA2-4034-9155-245C68781FCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5039508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5039508"}}}}}