{"entities":{"Q5049036":{"pageid":7078613,"ns":120,"title":"Item:Q5049036","lastrevid":55427011,"modified":"2026-02-17T16:09:09Z","type":"item","id":"Q5049036","labels":{"en":{"language":"en","value":"State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614715"}},"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":"Q5049036$3FA4284B-1648-4BED-A7EC-75098EC67EBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e329af5f6b3b0bdeee940befd67e4fcc260e53d","datavalue":{"value":{"text":"State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049036$91DF62B7-18BB-4324-B8A0-5133062C5C42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08b6c567c2a07f921ceac8391fd6445c7679b08a","datavalue":{"value":"10.1007/978-3-030-48006-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049036$A69CCEA2-EED4-427E-8C81-61FE98749295","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06b9d3e98376955f4f1468110c0445691894ccd","datavalue":{"value":{"entity-type":"item","numeric-id":208223,"id":"Q208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$C23BE6D3-918F-4CC2-8627-C54AC8A8C21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d52aeee7b8bf072b0ab639aadd1e7acccb1b466","datavalue":{"value":{"entity-type":"item","numeric-id":208224,"id":"Q208224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$B8227BF8-2816-4153-81C3-6A73457EA0D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf49ec633e64176908d7259def1366c96e7d3ca","datavalue":{"value":{"entity-type":"item","numeric-id":5049034,"id":"Q5049034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$24253B4A-5F77-4DEE-89F1-E23CAE56F633","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5049036$CC466352-7C00-4A2A-9CAF-7D690090EF8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049036$B8E4F362-23AF-4B53-9321-523F77F53CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049036$A909E516-FC88-428F-BD3C-43634C9B79DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"648e893e5a2ae0b1db7c1dfe9567581b89008a85","datavalue":{"value":"7614715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049036$10999672-44FE-4851-A697-764D166768F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$41FE9C7B-026F-43CC-B301-ED2B8721EB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$F1173D69-6136-46C9-B752-A43AFA80EA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$1ACF5AE8-76E4-4044-9142-7180AD967CB1","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":"Q5049036$617B63EF-DCDD-4D59-8EA2-FB57F7EA73C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05287ab0862aa8b8aa509b86b75611072eb52592","datavalue":{"value":"https://doi.org/10.1007/978-3-030-48006-6_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049036$88A2186D-E237-46AA-8B93-6F6C2A0BD178","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d1305259184916bf80b52c71275c8f1e7b92adf","datavalue":{"value":"W3027527117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049036$477C061A-9FE3-4AB8-9C61-F2AF71942119","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"caea5d684a4342534acdecae4739c319c9c74674","datavalue":{"value":{"entity-type":"item","numeric-id":2842100,"id":"Q2842100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$96273BCF-D79B-413E-971B-87D871EEE9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850426d5d369e8c311520c5bfefeeb05450eb043","datavalue":{"value":{"entity-type":"item","numeric-id":5915568,"id":"Q5915568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$3277CE4A-B5E6-4C9B-B651-02C0819F44F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7624d556a44b263cc1bb8b55bc6dc62dd07e64f5","datavalue":{"value":{"entity-type":"item","numeric-id":514142,"id":"Q514142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$4106BBFA-D1B7-41E0-B3B3-BEFB38D433F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334990bc0404185c57beab2a617e03f2653c6349","datavalue":{"value":{"entity-type":"item","numeric-id":3188235,"id":"Q3188235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$E8A911FB-A545-4125-A40B-ACC5381DA423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ead61db802ad1c0783d59938a8599fe136603f","datavalue":{"value":{"entity-type":"item","numeric-id":3103974,"id":"Q3103974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$A9A728A7-34A9-4A11-AD96-56D74E0224F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308ab865f7be1580d707f9d457e96036fd5e06d1","datavalue":{"value":{"entity-type":"item","numeric-id":5282949,"id":"Q5282949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$66B1431E-FBB9-492A-BC51-E3C0C8E8395A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ca5450cbba5021e7590300f6239727da73ea1d","datavalue":{"value":{"entity-type":"item","numeric-id":2361350,"id":"Q2361350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$FFCFB7C1-1945-4175-B1EC-2452014C95B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$1B67F929-868F-42A5-9D2D-D2C05DF53EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c535ce9d6f55ad68a2637bcc8fdef8dfda9c085","datavalue":{"value":{"entity-type":"item","numeric-id":3587462,"id":"Q3587462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$94EC2CA2-1FA4-4FC5-A1D9-4AFB76B56AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77cc696a69f0f766d4b8932576932c3bf5d8de29","datavalue":{"value":{"entity-type":"item","numeric-id":2999192,"id":"Q2999192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$5E62AD90-0898-46BE-8D77-8BE38AD90A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f86e9908c5f6dd9a800c61e26a2445758daac9f","datavalue":{"value":{"entity-type":"item","numeric-id":3055669,"id":"Q3055669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$8EA41BE8-4440-44DD-8EE2-77447C266091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdadd7ed811cf1681423acca95600438e5e530fa","datavalue":{"value":{"entity-type":"item","numeric-id":3388742,"id":"Q3388742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$5D3005DE-2C7C-4102-9FFD-EE7ABB8CCF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5052f8437f78c03e88e16df815042bb5cfcf9d7","datavalue":{"value":{"entity-type":"item","numeric-id":2908881,"id":"Q2908881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$8CFDEB80-2F1A-4CDC-BA4E-3BE6C90509B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$17396FD4-FE45-474C-BF0E-32BF4CB67D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d7cb49aac24ae1fe58bec9a4d6ecf829032f024","datavalue":{"value":{"entity-type":"item","numeric-id":2922017,"id":"Q2922017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$87B2EA7B-AADD-4190-8DD3-6922ED40FE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c14bc875c66ff52b141cf21722a24492eadfc8a","datavalue":{"value":{"entity-type":"item","numeric-id":2825419,"id":"Q2825419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$9D592D20-1C8D-407F-8488-B88A419B6CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c811846911b0a37f5c2305fec6e120be334b48","datavalue":{"value":{"entity-type":"item","numeric-id":4992519,"id":"Q4992519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$4F97AB2A-205C-46A1-9E18-09292E456EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$7586F782-9884-4D6A-B6DD-82C62660A650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb4f817511f1785d5460f6b2f24f2afd0f364db","datavalue":{"value":{"entity-type":"item","numeric-id":3449481,"id":"Q3449481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$DC22E305-9761-4E60-B95A-E72EBF9303A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1209407dc1baad9a93aa451c62d32bd97446f","datavalue":{"value":{"entity-type":"item","numeric-id":1899147,"id":"Q1899147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$08DF3CD5-9F62-4208-8901-66CF70B29962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$BF3BFC40-DFAA-4EDE-96E7-7B7B233A0451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f0496f8ccfe06342faedbd13dcb4e7b0b2cffc","datavalue":{"value":{"entity-type":"item","numeric-id":2848415,"id":"Q2848415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049036$4C659BB1-980E-490E-AEDC-8E29986AC4F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a41bd364839a2a7fe17958c3fe5b558bc3b486","datavalue":{"value":{"entity-type":"item","numeric-id":3188235,"id":"Q3188235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f72b9c987ad28295ce956495e3e50255515d3a","datavalue":{"value":{"amount":"+0.9293754696846008","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":"Q5049036$FB9F5E87-BB80-40DF-91A7-8D40F35A7762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6981b5d9a6093f32111c14086dfa8d05051f6194","datavalue":{"value":{"entity-type":"item","numeric-id":2999192,"id":"Q2999192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d819b01a26604666d8a4c61bd34b0bac80567b3e","datavalue":{"value":{"amount":"+0.8507628440856934","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":"Q5049036$1BA5749E-3AF6-4491-B4DC-095397CC465C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df56e80dcca1d3e4a46feaaa5a7f9e76f61b9232","datavalue":{"value":{"entity-type":"item","numeric-id":3166991,"id":"Q3166991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1b8cb3970753b4f8379ed7847233f5a89a4661","datavalue":{"value":{"amount":"+0.7725695371627808","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":"Q5049036$3B590A16-BA89-414E-BF02-8DFDF5A36CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39dec6f824debbbe594bdeb82c5b473ca7bf20eb","datavalue":{"value":{"entity-type":"item","numeric-id":4992519,"id":"Q4992519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e18480d8ebf6a9d565ec57ad58debe0a891df0c2","datavalue":{"value":{"amount":"+0.7700949907302856","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":"Q5049036$D24AC4A4-B32B-4A5F-B7D1-6744DC0BC23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea7ffdc85ecefa05a7baacca30052c1827d6f54","datavalue":{"value":{"entity-type":"item","numeric-id":2498917,"id":"Q2498917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762b40862682436a22cae152587a70f6f7b2affd","datavalue":{"value":{"amount":"+0.7627018094062805","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":"Q5049036$BC91A8CA-FD50-4ED7-991D-7893D0D006D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049036","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049036"}}}}}