{"entities":{"Q1319266":{"pageid":1330016,"ns":120,"title":"Item:Q1319266","lastrevid":68452980,"modified":"2026-04-12T23:48:25Z","type":"item","id":"Q1319266","labels":{"en":{"language":"en","value":"Axiomatisation and decidability of \\(F\\) and \\(P\\) in cyclical time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 549713"}},"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":"Q1319266$CD09ADB5-1AB2-4FE8-AA86-D028283D5FA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df659625d433690f3b2fb531446dfdbb06493b15","datavalue":{"value":{"text":"Axiomatisation and decidability of \\(F\\) and \\(P\\) in cyclical time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1319266$BBC9B7E7-B60F-494F-B247-824A7CA621B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfcf47b8baaf8efbed9bfcf2f6314e03f2c0c8c1","datavalue":{"value":"0796.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319266$F7ACE65F-9523-462A-9655-F283E841BB0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8a182d0cd1ce5700aa172ce77d65a6f8cb6f590","datavalue":{"value":"10.1007/BF01050343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319266$4CEF13D8-16EE-468E-824C-7E187D72995D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319266$19510359-8737-41A7-8A6A-C75567CF04E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43a82918b7cb04f59437503b817f00af9741808a","datavalue":{"value":{"time":"+1994-04-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":"Q1319266$72B8AE39-CA11-4302-9C64-51AEB82BF868","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319266$FA90181F-2B60-4129-9FED-C3A409CF91CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319266$AC34C5D2-4E67-4D31-98A1-FB07C6EAA6A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e712af4e960cd39c0016ee8e2f6464c29691cef","datavalue":{"value":"549713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319266$C950F293-3F98-4373-B10C-66EF54C035BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c6100658c39b62cb123bfef5c4d52eb39d135","datavalue":{"value":"irreflexivity rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319266$67CEFA1A-D574-46C5-85E1-B3345BB701A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e878ec052be1845ea8600a0d799d17469b117ebc","datavalue":{"value":"Hilbert style axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319266$739D021D-57C9-444E-91F5-58AD651027F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"308e0a7452f768c8cb4797b9eedf721436bf3f6a","datavalue":{"value":"temporal language with \\(F\\) and \\(P\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319266$8A7F5179-2220-484B-8739-9329A8051877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1884a5384f014e3bca44b05f5382d66861940c","datavalue":{"value":"non-transitive cyclical flows of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319266$DCF46280-8326-4743-985A-B5BB0382F55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319266$FC1B217A-7B53-458A-89C2-386C343518B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6d326e90c32222f36b0c48a765b6ba9895df91f","datavalue":{"value":"temporal logic over cyclical time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319266$5CEC0CA4-0FFE-4EF6-97B7-46CC195779D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319266$7C43699B-8211-4D72-9219-0A065EF94AEC","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":"Q1319266$BD48AD36-3DE3-40DF-A540-1B4ACF254448","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a368ac3b97caba026d61d63673b66abca6c290","datavalue":{"value":{"entity-type":"item","numeric-id":1837679,"id":"Q1837679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319266$9862A13D-1867-475F-9D4C-3E2F3AEAE45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319266$14C3D24A-D81E-47B5-AD1D-F57ABAD2169D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075385ab0f9cec9e72ad6f715d7267d9b2ed12a4","datavalue":{"value":{"entity-type":"item","numeric-id":3995219,"id":"Q3995219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319266$D5091081-B71A-476D-A6EF-F39EE7853A97","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":"Q1319266$DC67AE28-A599-495A-9262-FF44281E9F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319266$6D8F0B2C-FEB9-4176-810E-2CDE64219139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c22d02a285dadd9dd3bfc06699d6924819b2346","datavalue":{"value":{"entity-type":"item","numeric-id":1337512,"id":"Q1337512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319266$CDEA8BA6-47FD-44C2-9884-799A4B75666F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fa05e8ea3f74f06d1eddd1e9f3944cbc8d18ea","datavalue":{"value":{"entity-type":"item","numeric-id":5187311,"id":"Q5187311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319266$2B9323F6-BD03-43C2-B360-1907F803FD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319266$BAE26785-DFD9-4242-B073-5B54979E756C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319266$282D9CB8-F603-4CF6-AF62-36D069703980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076c363cab69eb6e9f1d705e8fcdc709f30f81fe","datavalue":{"value":{"entity-type":"item","numeric-id":1207338,"id":"Q1207338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319266$9DBE51DA-84C4-478A-B3CF-CA239B158804","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57f6916c640cfb43b4feb52ab3c50e60f0e06ed","datavalue":{"value":{"entity-type":"item","numeric-id":4518419,"id":"Q4518419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f344b5ea2ac018aa249d9b624e6eabb93b374f4a","datavalue":{"value":{"amount":"+0.7801116108894348","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":"Q1319266$1D249EB5-CC4C-4E78-8BD7-724D611375F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6aca9a5039fba5f216bd8e6614355e9eea4c82","datavalue":{"value":{"entity-type":"item","numeric-id":4275689,"id":"Q4275689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36606d469c0d8f420620c863af9091563910bcb3","datavalue":{"value":{"amount":"+0.7773883938789368","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":"Q1319266$3A8260B0-4CD4-4E1D-88B0-F31F688991CD","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":"52285e71e1cc50f6bdecdf2c15c473c008e3365f","datavalue":{"value":{"amount":"+0.7690130472183228","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":"Q1319266$3707B4D5-E456-465A-902A-26A2C3083D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"341fc183e534ecaf9bb2c42b864481a6c925c178","datavalue":{"value":{"entity-type":"item","numeric-id":1118578,"id":"Q1118578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab132fe18323f439315e3527eed4543efca3853a","datavalue":{"value":{"amount":"+0.7670486569404602","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":"Q1319266$6F86A362-1987-4F77-B468-A9276F8061CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d713b013f9c21146d7c164818d589c7c1ae4b804","datavalue":{"value":{"entity-type":"item","numeric-id":4864475,"id":"Q4864475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44239e95da53b4f349ea3bee94b367e165995f23","datavalue":{"value":{"amount":"+0.7650715708732605","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":"Q1319266$B55564EE-73B4-4860-AA23-66359832583E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatisation and decidability of \\(F\\) and \\(P\\) in cyclical time","badges":[]}}}}}