{"entities":{"Q1327485":{"pageid":1338235,"ns":120,"title":"Item:Q1327485","lastrevid":68477280,"modified":"2026-04-12T23:58:21Z","type":"item","id":"Q1327485","labels":{"en":{"language":"en","value":"Decidability of stit theory with a single agent and Refref equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 590923"}},"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":"Q1327485$EA2EF0AE-3665-4FDB-962B-B8AC928F6AAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7e5580c514f10fb6f2bee27f17f1d39e0c73112","datavalue":{"value":{"text":"Decidability of stit theory with a single agent and Refref equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1327485$FE8D3B01-F43A-49DC-91ED-B28467A5E9C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4581b7b686726588af7bbff1b6da24b82453d6ad","datavalue":{"value":"0802.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327485$E95383D5-8F55-4123-9BC2-6A71F3211F84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"127a847f6b7ce656de4702c51324768c8b651370","datavalue":{"value":"10.1007/BF01054713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327485$DE4BFF4E-D03A-4688-83EF-994F1AC42571","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67332dcf9d0b14789153a9fe79309244fc944be2","datavalue":{"value":{"entity-type":"item","numeric-id":190309,"id":"Q190309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327485$32C17812-8EF8-4C43-8D23-AF547A4380BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327485$E91479FE-CB71-480F-9AC6-CB64EEE74C4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"031c5d066bfbf994f645c207439d2003ce1ed02e","datavalue":{"value":{"time":"+1994-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1327485$7A63A6A5-DA77-41C5-BA35-672C2BEF8C19","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7e3932b8cf36aabd8e1bf1245d83bfdc55b30d10","datavalue":{"value":"The paper provides an axiomatisation for the stit theory of \\textit{N. Belnap} and \\textit{M. Perloff} [``Seeing to it that: a canonical form for agentives'', in: H. E. Kyburg jun., R. P. Loui and G. N. Carlson (eds.), Knowledge representation and defeasible reasoning (1990; Zbl 0743.68024)]. The axiomatisation includes the Refref principle (refraining from refraining is the same as doing). The theory is shown to have the finite model property with respect to the class of models in which there are no busy choice sequences (infinitely many non-vacuous choices in a finite time). The completeness of the axiomatisation with respect to this class of models, and the decidability of the theory, follow in the usual way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327485$48730D8A-859F-428B-8505-C7AF5CF73A84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327485$DC4278BC-854A-466A-A25B-04F2EC914FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327485$C23143FE-2859-48DB-AA45-81C35F86588E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327485$D66EAA65-6DB4-40E2-B328-B7EF7ED2CA73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f08a1d76182fb3b88b3f9dfff214805a6a1c55f1","datavalue":{"value":"590923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327485$AE2FEF51-86F9-4134-B7AB-E1854583A9BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d6d5478f3bdf7477f0fec7146fc9bcacdf8cdb7","datavalue":{"value":"stit theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327485$D9910FF5-B4C6-4AB5-B5F6-09E92076D20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff94ae9facaa76ebe5898fdce2b4c64ad3b4ef2","datavalue":{"value":"Refref principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327485$B32D7259-C743-4B86-B4A8-7E4AD7D54EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"770b1fe62c713a473c762eb8b88b1b98b73cb6a7","datavalue":{"value":"busy choice sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327485$955D6804-6DD2-4C9C-B29C-D673D2CC41DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327485$3BF11837-C31B-4D1F-999A-302FD1EC0AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327485$CC70A4A1-3C7E-482C-993F-9E89258B59EA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a8775a791b699bfd3cf73592d2f327da9f87e5a","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327485$BD655DCF-79A8-4D85-808A-3472F0DB6F34","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":"Q1327485$4146245D-9A79-442F-9811-9E1D14321B01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8499fa134124d853fcfba1275df4aef32a23c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":1207431,"id":"Q1207431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327485$0E24A626-CF58-4A5F-AFC3-38BF8574E701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b3e7554c5b9ad3a018588230332941dd1bfea0","datavalue":{"value":{"entity-type":"item","numeric-id":1207433,"id":"Q1207433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327485$7C4436B4-2DE6-4684-A025-060BD3E674D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96eb977b973e44d25ea6b7456c27c68084688071","datavalue":{"value":{"entity-type":"item","numeric-id":1337507,"id":"Q1337507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327485$42A6AC35-A2D5-4B5D-B602-36E1E337EB8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb4ab88988284cacc1e322942899682f6888d092","datavalue":{"value":"https://doi.org/10.1007/bf01054713","type":"string"},"datatype":"url"},"type":"statement","id":"Q1327485$FC332419-4377-4DCC-99DA-E657822B78F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"205603109a51fa9703e37a3100448c0651e884bd","datavalue":{"value":"W1978131572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327485$48DEE695-DAA7-4EC9-A14B-DC42A59318FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b78a2877735f32e62be5e223ed2da5d32d0eaaf","datavalue":{"value":{"entity-type":"item","numeric-id":4842624,"id":"Q4842624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56565420c6ec413002de8a7f76acc888e50eb019","datavalue":{"value":{"amount":"+0.8974723815917969","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":"Q1327485$8BC303A3-14FA-4EC4-86AD-5B032DD8950D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d911fbb3a89efd56d13c19ab0ce831df4574d030","datavalue":{"value":{"entity-type":"item","numeric-id":1337507,"id":"Q1337507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca2d4b2eb519cbda7fba7deafa9cfa3d3db9d21","datavalue":{"value":{"amount":"+0.8970935940742493","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":"Q1327485$E5F41766-C021-40C3-B105-498C87FDFAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"057aa2d13de3be3b82b691a985da16cac29e5d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4518432,"id":"Q4518432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a42173a8e39367a2c79381c3c637e6d640f8f7d","datavalue":{"value":{"amount":"+0.8234218955039978","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":"Q1327485$D4F9F57B-DEE4-4A62-9494-08A3F14EF759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f2b2189649e373a901cdc67140524a397733b0c","datavalue":{"value":{"entity-type":"item","numeric-id":939059,"id":"Q939059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88face1699a9d3f46eb465e121dea116f34ea83e","datavalue":{"value":{"amount":"+0.8181650638580322","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":"Q1327485$9D5744A2-C934-4482-8B10-42F84F81ADEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698ca8f172b27dc29a7afa00e7e7e685017d6f2c","datavalue":{"value":{"entity-type":"item","numeric-id":1928487,"id":"Q1928487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f76279f446bd400197cdcba483385aa0667b6ae","datavalue":{"value":{"amount":"+0.8130847215652466","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":"Q1327485$CF52A945-6114-4F66-A533-7D4A68C5DEC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of stit theory with a single agent and Refref equivalence","badges":[]}}}}}