{"entities":{"Q2346411":{"pageid":2357154,"ns":120,"title":"Item:Q2346411","lastrevid":52272251,"modified":"2026-01-21T08:08:20Z","type":"item","id":"Q2346411","labels":{"en":{"language":"en","value":"A logic with revocable and refinable strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6441775"}},"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":"Q2346411$F64D33B6-8510-4C75-AFB4-B6301236DF15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9951bd77b0941fbacad49b3c466265c9555a250f","datavalue":{"value":{"text":"A logic with revocable and refinable strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2346411$553C35CF-E89F-4192-ADFE-5EBFAE943A63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3369db11c5fe103946021623d5cbbbe276f6c7a6","datavalue":{"value":"1319.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346411$70F8E2CC-EE94-43C6-BECC-36D9A8938383","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f2ab646e94404aa1a8215a966608c44b6a7875","datavalue":{"value":{"entity-type":"item","numeric-id":1679772,"id":"Q1679772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$B5608798-CAB7-49BC-8897-C0B4B6072992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"116fa3f764527f5c8cd2c3e8bf7ba8070d0c57e9","datavalue":{"value":{"entity-type":"item","numeric-id":821562,"id":"Q821562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$6928045D-388C-4B06-A4CE-C32767C34ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5420dc66195d2108efd0f0e647229d16dc08ea8","datavalue":{"value":{"entity-type":"item","numeric-id":821563,"id":"Q821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$6EF5D83C-6988-48B8-9227-04310691E0AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$B97BA3AE-04F6-4301-B7F6-E441D4D1ABF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f13d0ce1283aa3e6e77c4425b4907fa92cc6071d","datavalue":{"value":{"time":"+2015-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2346411$DFD3C02D-D70C-4704-BC3F-5B518287A3D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346411$6E4D743F-0A9B-41B1-9554-C49A59355140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346411$05BCDD75-329D-4AAC-9873-7705D29AC50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346411$53A955C4-8296-4B2E-9C3B-B6C6C7811DD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f7d902fa07816cfd3af2b91fb08375902f86471","datavalue":{"value":"6441775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346411$AEF2D220-71C6-43FB-9416-182D60753A3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a269454b86ec4a87dd30588cfe89c249dcacf3a","datavalue":{"value":"multi-agent temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2346411$5BF33673-56DC-429B-A530-148B877B1587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ef2de3ae0d2a47a34c7430e493629deb6acdde","datavalue":{"value":"strategic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2346411$6218B6A0-FC0E-497F-8866-4B1250EF5C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbd64d1d41d7fda224c646fcba170bbfd197b09e","datavalue":{"value":"nondeterministic strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2346411$DD61377E-964F-40FE-B47D-1AAA512086B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2346411$44024493-6CC7-4A8E-A13F-E30A0E59A655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3983ec56515a96e57b7dbec1da31ad917062345e","datavalue":{"value":"revocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2346411$9EAA5CBD-1C5E-4F90-9C86-8FFC20B99FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2346411$C7C62741-9197-4B77-AE2A-1AD97D35E389","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":"Q2346411$6D146FCC-EBF6-4466-8FED-2A9A234A00EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"611a37a59bd01645b1570a5b2370524fdafb584e","datavalue":{"value":"https://doi.org/10.1016/j.ic.2015.03.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2346411$56A14BDF-9325-4FF4-B51A-AF1AFA84A621","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc9f23864a277d703285f16fc2012d0a2ba618a1","datavalue":{"value":"W2004697532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346411$0ECED973-6756-42E4-B0FC-7EF4FF452EC6","rank":"normal"}],"P223":[{"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":"Q2346411$D3AF171B-1F3D-48AB-B2E0-A26C185734AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f427c7c6bd6ad411bf67bda5f7112f753e0ab73","datavalue":{"value":{"entity-type":"item","numeric-id":3605522,"id":"Q3605522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$C0D45D73-B9B5-4D80-9787-630ED60E74E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0ff171afd6ac8bc73847ff588b790c3abdbbf5","datavalue":{"value":{"entity-type":"item","numeric-id":2908843,"id":"Q2908843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$0D1FA46F-0403-4080-BA99-12E47D552CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9740972113806023f4ec7d6f4291a9ddcdd7d1","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$8BCB9282-516F-492D-8E4D-132262C28A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b9630842a9bf427e234d6878756a9805cef9cb","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$86740A37-351F-45AD-A8F1-34C77CC23F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf17a72fcc32baaf51630e51b10f45149d6f862f","datavalue":{"value":{"entity-type":"item","numeric-id":2914371,"id":"Q2914371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$93BE79DD-B9C9-454F-8C07-E0DE8A4769F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c698dd0c25fb6061efe5dbbdb6438b3f4e299c","datavalue":{"value":{"entity-type":"item","numeric-id":3388748,"id":"Q3388748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$B709477D-39AE-408A-B7BB-6CE486A27B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"affa2a46160713b4ff4f89394ab76c0ed93b56eb","datavalue":{"value":{"entity-type":"item","numeric-id":3172910,"id":"Q3172910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$8EFB7887-7D1C-4BBB-B436-AD4119BE15AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$5ECEC3DC-AE09-470F-A3B4-CC707CFE1ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65ca58e30c11d8abc7b7023fa7fe6b946ec2ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3077957,"id":"Q3077957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$017AC995-6A03-4848-9643-554504DF88D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$1AB243E7-78EB-44E7-A69E-5B4414B13547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed6cdc6509b93a57b1a6104a317c809d86745159","datavalue":{"value":{"entity-type":"item","numeric-id":2914370,"id":"Q2914370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$422AFAA6-A894-490E-847B-38BAA8FC8D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$0287983C-EFE0-4810-A9C8-E76E29EA9B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2549f9bba1d73f849de264cfc49e59112f0395","datavalue":{"value":{"entity-type":"item","numeric-id":3090849,"id":"Q3090849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$7B952E23-CA17-4116-8C86-52343F800D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e10b94faed1369f0d6cedaf8543971a89c594ce","datavalue":{"value":{"entity-type":"item","numeric-id":5900668,"id":"Q5900668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$B17B259D-CFA7-46DC-8D44-6FF58AB94FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a85d60a2ee6f470b072052d7cd8be0eccee601","datavalue":{"value":{"entity-type":"item","numeric-id":2368988,"id":"Q2368988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$9C085F09-8362-4AD6-9872-869D92C7E7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc70bc7d9b918eff6d6f848824275faa7336082","datavalue":{"value":{"entity-type":"item","numeric-id":3098057,"id":"Q3098057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$1F95CEEE-B2EB-4A71-A419-C0D964B1E27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba17dbbdb493817d171599aacd5ce02b2f5493bb","datavalue":{"value":{"entity-type":"item","numeric-id":5271063,"id":"Q5271063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$19B9D1FE-18CB-4C65-B939-364A4BCEDD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7a7be773f15c271ed64f02fd36eb54a2d1cfa0","datavalue":{"value":{"entity-type":"item","numeric-id":2921965,"id":"Q2921965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346411$97D98BCA-06C8-4187-BAB9-09411F3257A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85507a2fbea3768d1db9f6bac510fb8d8a92b15b","datavalue":{"value":"10.1016/J.IC.2015.03.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346411$C18A9988-F197-49F4-B1A4-E42A24C70407","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e9ffc10a31be9760b3148fb4bcee8fcfac81c6","datavalue":{"value":{"entity-type":"item","numeric-id":3388748,"id":"Q3388748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2df0e39165e3783b8545021b3a1543fa3ce433","datavalue":{"value":{"amount":"+0.9186200499534608","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":"Q2346411$A26558A7-71C4-4D2D-BDE4-A06BA4FFE0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415e88a42b78dc33d2ad21cae3bb2a5da9cab99f","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0798dbcc79f030630665f10744fbc2b8eb1dcd19","datavalue":{"value":{"amount":"+0.7736465930938721","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":"Q2346411$B7867606-B308-4CBC-9366-6468CA90850F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b949470afffa0b473a95a532083c24cf4c8d7a","datavalue":{"value":{"entity-type":"item","numeric-id":5271063,"id":"Q5271063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f6950aaf1eeb3506d4d99013917749bc0c0c4b","datavalue":{"value":{"amount":"+0.7633127570152283","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":"Q2346411$8729DA1B-A814-446F-87A5-34DE6540115F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e0745b1e7177a5260202f9544cd914c87b2a41","datavalue":{"value":{"entity-type":"item","numeric-id":2921965,"id":"Q2921965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60cf6a83e29976d8496a1207350ca07918efbf68","datavalue":{"value":{"amount":"+0.761476457118988","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":"Q2346411$35649675-D81C-4A0F-AADE-7E2247B1DD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c340356f3611d4c044f8e96194e7fb4fb69c3efe","datavalue":{"value":{"entity-type":"item","numeric-id":2980973,"id":"Q2980973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f77f028787cfaeb8a9f3e279fb3a6876170877","datavalue":{"value":{"amount":"+0.7569820880889893","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":"Q2346411$F3E303C1-FCBC-4145-97F1-0594DDDD0C8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2346411","badges":[]}}}}}