{"entities":{"Q2331127":{"pageid":2341870,"ns":120,"title":"Item:Q2331127","lastrevid":53576408,"modified":"2026-01-25T09:00:31Z","type":"item","id":"Q2331127","labels":{"en":{"language":"en","value":"Branching time agents logics, satisfiability problem by rules in reduced form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7122035"}},"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":"Q2331127$01EF88FB-B58B-420B-A2F6-32D7EE35F570","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"744c6e12d853f86ea37eb4957db07b04c210ffc0","datavalue":{"value":{"text":"Branching time agents logics, satisfiability problem by rules in reduced form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2331127$5A53D10A-6939-4787-9C2B-F9E6E072C09A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afb01b8e2a3d0dc9dc8cbb3cc74cf6c706d8d0c6","datavalue":{"value":"1436.03126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331127$EEA0068C-AB53-47E5-939F-B6CFAC812C6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9c78d27d44184ed11acc3dc406ef7d8d5c12da4","datavalue":{"value":{"time":"+2019-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2331127$94C19E71-A3CD-4AC6-9D2A-6ED0D36024CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331127$FBA1D603-78C2-438D-A819-AA11F8AFF47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331127$70AB6DC8-EC52-40A9-827D-7654B7FA88DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41d0aa09df8745b5ed557ebfd6668d8d3b7a14a2","datavalue":{"value":"7122035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331127$29E9669B-C5BC-4F4A-9368-9987EC7876A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331127$A5E92CC1-D7CC-4C14-8183-80795F3CC96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22faee7a58a8049518b23c537e4b85ea66f3563a","datavalue":{"value":"branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331127$EA0E8D10-5B0C-4AFF-9CE8-CDB0DED70F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e532df4083e878137a2a1938ce3cc4113b011b","datavalue":{"value":"multi-agent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331127$FDF6B431-6FDF-4D03-93C5-C179C6BFDFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331127$2F40945E-4CBC-4E01-9DAF-67030EB09697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a84e7851bbfde7825f2a30e6afb99473d2ec7d2","datavalue":{"value":"information","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331127$E3B5A0E3-3A36-489A-839A-F57A8A5D4219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331127$F6365E87-593A-42CB-9244-7060398EBDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331127$FE7D477E-DF8B-450D-9B47-75D1C1E2E4D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$FDF9962E-3DF0-4DC6-9A89-579AD2BF2DD3","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":"Q2331127$FBB47882-8BC9-47CB-8A73-B98089E4E224","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4a2353ab09ffe533ee7490485d74df137e5e494","datavalue":{"value":"https://doi.org/10.33048/semi.2019.16.079","type":"string"},"datatype":"url"},"type":"statement","id":"Q2331127$E3EFCD1A-837B-49AD-B940-C65C843E2557","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"302c52e27676b4594579623454c8e15456bc92f4","datavalue":{"value":"W3015257209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331127$E7F406D2-9237-45F2-9E77-ECFDAF82CEA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e289f7d0f253a41c239ac8a676ba21a549d3bfd","datavalue":{"value":{"entity-type":"item","numeric-id":2805284,"id":"Q2805284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$44F8308F-D068-4DB1-90E1-7FFB68930B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8f93d6fe2fae1c684c4f3c15ccaafeac2ad027a","datavalue":{"value":{"entity-type":"item","numeric-id":3006112,"id":"Q3006112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$658EC308-00CF-452C-8D8C-41A525065F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7deac8e4739febd2e58c74094514d50b36375099","datavalue":{"value":{"entity-type":"item","numeric-id":3143566,"id":"Q3143566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$00E4FC1D-7C61-4847-A931-753AF0168435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e433b4652b1500dc05484194d0c8446792468f8","datavalue":{"value":{"entity-type":"item","numeric-id":3148329,"id":"Q3148329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$8228196C-6A75-41E0-B748-FED0E99C0059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06f6d90e3236a929532aa1862e383e0fb9e24ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$CE60DBA6-3810-4DDC-AA8E-034EB5CE31B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6a56147721f5558561f9dc5063b26167a3efa0","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$3CC0F778-DC96-4131-95A5-079DB84EB557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$69491DF4-E22D-484F-9E38-E3B6898E3B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13946f1d5a57299c2b772eb839c22d24efd0a83","datavalue":{"value":{"entity-type":"item","numeric-id":4713419,"id":"Q4713419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$1CE6B229-5515-459F-8191-86401D206F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac0444612e794773d50678f9a7f1884429fd05e","datavalue":{"value":{"entity-type":"item","numeric-id":4218015,"id":"Q4218015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$321A11D7-59EF-4291-ABBF-6E115C27C884","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":"Q2331127$54466660-6F27-47DD-ABA0-137E345DA900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873bc8ff10440ec63b6a32b22424aeb967a47900","datavalue":{"value":{"entity-type":"item","numeric-id":2351041,"id":"Q2351041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$C156CFF6-7FC0-4FB7-AEDB-7EAF5B24281B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4781a9e5c0303423493ce7374c1aa23ce6d95b72","datavalue":{"value":{"entity-type":"item","numeric-id":1407585,"id":"Q1407585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$EECBFE23-CD42-442E-96A2-525078DF3AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd83c2edaf0d75e016ed7b02b9fc228c8c72b04","datavalue":{"value":{"entity-type":"item","numeric-id":5486245,"id":"Q5486245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$CB2CF0D4-60FB-4B29-8D5E-ACE57488A980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb28d581dcc9296ba68ece0f2cb50f3145b5b770","datavalue":{"value":{"entity-type":"item","numeric-id":833736,"id":"Q833736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$335E7523-1C43-4F85-BC5C-2EB4011354CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3eed633cf9308c5eb7b77bff69d5658b9a4f78d","datavalue":{"value":{"entity-type":"item","numeric-id":3656763,"id":"Q3656763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$AA3082DE-70FF-499F-82C6-240BC453A564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a46ead12fdf741b8fede0645c88e84f3e7e6ba","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$A8605AEF-3B69-499D-A1E4-BD49F0FCD57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43060567729c3a38442ab2692d2a83f6265f17d","datavalue":{"value":{"entity-type":"item","numeric-id":2826032,"id":"Q2826032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$05D8C016-CDB6-4816-A0CB-BE7E303B5E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6692fa6c58c234094e2b1efee297af5bdfc3180f","datavalue":{"value":{"entity-type":"item","numeric-id":1694714,"id":"Q1694714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$DF771125-18C0-4835-A0FB-82FDE1485751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98300141bca03a33830ccc9ad88d3708024b58e","datavalue":{"value":{"entity-type":"item","numeric-id":1669762,"id":"Q1669762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$958BAF2A-E93B-42AB-8018-A571B0D2C5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10973721009083a63e4bf2177d9791308a07db5d","datavalue":{"value":{"entity-type":"item","numeric-id":1617988,"id":"Q1617988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$5C2E114E-9515-40D8-AF03-365899140CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0433df88462bb56b83441e76d4cfd0c647cd59d","datavalue":{"value":{"entity-type":"item","numeric-id":5394462,"id":"Q5394462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$932FEB1D-5AAE-4D2C-81F2-BD046D30184D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0ba4cff3a1ec63a652b045133881709ec731c4","datavalue":{"value":{"entity-type":"item","numeric-id":4536333,"id":"Q4536333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$47E83B0C-ABD6-41C9-870A-B1B28C24E0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866d06e22919ddde35f80edf951a5689ebe06f89","datavalue":{"value":{"entity-type":"item","numeric-id":2798709,"id":"Q2798709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$40112402-8091-47AF-A3B4-4A1CE4B0AB7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b120d649288575f328fab6e60d3a08f67746cf26","datavalue":{"value":"10.33048/SEMI.2019.16.079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331127$30400CA2-46DD-4136-AB40-D959037A94A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331127$CF5C8448-D3A2-458C-9FE9-2B8789839032","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a03e0db93fbe38b3179b1de93a98517f567463","datavalue":{"value":{"entity-type":"item","numeric-id":2030777,"id":"Q2030777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff8a348fd7b9d73b92bfe9cd31e850a5da4168b","datavalue":{"value":{"amount":"+0.859387993812561","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":"Q2331127$0287079D-1CB6-44D8-9332-C236BFA6F4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0391921a0366d3a2fb7bcc99ae2abdd2da4be13c","datavalue":{"value":{"entity-type":"item","numeric-id":2213922,"id":"Q2213922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b25f66c43066fde5475b5f5c16559c383e085c","datavalue":{"value":{"amount":"+0.7715306878089905","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":"Q2331127$CECEB6B9-E48E-40CF-9E96-7F95EF825B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde9ed4e6a4f0e279e6472fa20ccc2cd486d6e60","datavalue":{"value":{"amount":"+0.7676684260368347","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":"Q2331127$5A841A81-1A82-4038-B978-F64EAE46C4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae72db4409f2ad003c7633a54355b09ad50ce46f","datavalue":{"value":{"entity-type":"item","numeric-id":1669762,"id":"Q1669762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0650b603b7f39da3d66982240aaa59c0fbeb7e95","datavalue":{"value":{"amount":"+0.7669532895088196","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":"Q2331127$61B844FC-1341-4347-BE3A-044DD5DD601D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c520c4898a8a0623687e5a8a72ac05e99a316e9f","datavalue":{"value":{"entity-type":"item","numeric-id":4446227,"id":"Q4446227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b2f443eecac4ce714ba5278531301acb5d433e","datavalue":{"value":{"amount":"+0.7586019039154053","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":"Q2331127$EDA2BF17-848F-43B5-8560-E6E644299A0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2331127","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2331127"}}}}}