{"entities":{"Q294659":{"pageid":296426,"ns":120,"title":"Item:Q294659","lastrevid":60716316,"modified":"2026-04-10T18:41:47Z","type":"item","id":"Q294659","labels":{"en":{"language":"en","value":"The logic of ``initially'' and ``next'': complete axiomatization and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6594040"}},"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":"Q294659$928E3D7D-51BF-479D-AA31-4138A68A8BC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ca07dd743dd06d29288520aaa65d01f15868f3d","datavalue":{"value":{"text":"The logic of ``initially'' and ``next'': complete axiomatization and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q294659$2D674DBC-1411-4F89-AA0F-B6FE61A2CDE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fba047fa9db4e860313e67c1cbd790ce3fa56caa","datavalue":{"value":"1338.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294659$D3A83172-E556-4A66-B995-BAA100BB2A04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5d9c3c276ff215cb63c6e5689358e3feded36bf","datavalue":{"value":"10.1016/S0020-0190(99)00022-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294659$BFE61827-91FB-4FB8-A235-1539945B644A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294659$4F9C2AF4-74C3-465E-81AD-47140735B529","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32ada740abbb03089ab30647d244c2741fb6e33","datavalue":{"value":{"time":"+2016-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q294659$94952278-64B5-4725-AB00-16F49E217B31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1cae1f39137689f7a00a8a4f97f690168b70546","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0020019099000228?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q294659$93840439-9092-4294-969C-B147EF06731A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294659$7AC815EC-F4A3-4509-B0F7-98CA941B7BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294659$59851E6F-3DF0-426D-84B9-F38B31450D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294659$6E1FF12C-EEB5-41B7-8C4B-8496C43007CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294659$C70A839D-AD2B-447A-9407-F551EA3FCC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294659$25C1D533-A462-4337-AC92-D068B9F5F0BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6007abc664d68dc4d62833679d42e6d0c61f682d","datavalue":{"value":"6594040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294659$B4D6A713-775C-45C5-8359-B06D6A3CCD5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q294659$D7565886-396D-4D2F-8E97-AD4BB20E9F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q294659$95733175-0662-4D62-A40D-0212915829B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q294659$192B0A3A-FAC6-43B3-AA9A-FBD5408FEAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q294659$5C9AA6EB-9DA9-44B2-A5F0-7F39A4F1B1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q294659$3CFB30AA-0560-4393-A2CB-60FF97F542F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5ec58a0b89f617124dd985267643140ebe98b26","datavalue":{"value":{"entity-type":"item","numeric-id":685614,"id":"Q685614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294659$0E9EC582-581C-4FE0-83D1-B633C49C795A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294659$05505586-A8FF-4788-891E-504E05CF9088","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":"Q294659$379134F9-E3D9-406D-B2E1-6A67FE70D969","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294659$78464D60-CCA9-4A0E-91F9-D099E13EAA6E","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":"Q294659$7EA5E7ED-F8CC-4813-AD54-A2CEA98DFBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b9800fc34831d316e22ed5ebcc630401c60373","datavalue":{"value":{"entity-type":"item","numeric-id":4251916,"id":"Q4251916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294659$67F9B1E7-258A-414C-A5EC-BF1D193CDD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9646964e7e1eb91000a1d95825afd192e63351d","datavalue":{"value":{"entity-type":"item","numeric-id":294659,"id":"Q294659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294659$F806BCEC-8670-45C8-93E8-7DAC38919FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294659$4DB74FB1-25B2-4124-BBB0-5C424F8AC2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56abf17fe38c9d6f19bb07c76c7c037b3d964b6","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294659$87EE1A05-F7C0-4361-AD4C-29DC2D6E40BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02539d40f2759a191f3bc1d7e5510a0da585e555","datavalue":{"value":"W2042851559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294659$88D50B60-7199-41DB-AF50-45DBD64834B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22bbb005edeb8a90e78e73f8ccfb8fd8588d8648","datavalue":{"value":{"amount":"+0.8062620759010315","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":"Q294659$A56DE4FF-AD66-4389-8609-8F3A17765BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8383c81dc306dd82e36f9328ffbecd979c9336a1","datavalue":{"value":{"entity-type":"item","numeric-id":1400578,"id":"Q1400578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6c1f3a2de5679c5803402f22108f0cd9ca6919","datavalue":{"value":{"amount":"+0.7964222431182861","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":"Q294659$44480B37-1428-48DF-AE40-8BB2B0B58D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081bd63286da1909b7245ea381f5077097f31ff7","datavalue":{"value":{"entity-type":"item","numeric-id":2913981,"id":"Q2913981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899ed7eee6809fef859042457a84096e70eb3a13","datavalue":{"value":{"amount":"+0.7790756225585938","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":"Q294659$9BFDE00C-6018-4B38-B572-6EBBB5CBD4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc03231c8b2da69323dec19dd32ea7016e52a15","datavalue":{"value":{"entity-type":"item","numeric-id":3975138,"id":"Q3975138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c528bca65c53d0e02bc3fb1bb5e4b8659981f1","datavalue":{"value":{"amount":"+0.7746044397354126","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":"Q294659$22A65FDB-CEFD-4363-8489-28B47D02E572","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":"d4ca320115996ac49885a8a3700e0aac5b584dea","datavalue":{"value":{"amount":"+0.774590015411377","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":"Q294659$AB7DBD34-6A7C-4E64-9E63-9C9D6F826D5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The logic of ``initially'' and ``next'': complete axiomatization and complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_logic_of_%60%60initially%27%27_and_%60%60next%27%27:_complete_axiomatization_and_complexity"}}}}}