{"entities":{"Q5104724":{"pageid":7134300,"ns":120,"title":"Item:Q5104724","lastrevid":100233446,"modified":"2026-06-05T21:39:56Z","type":"item","id":"Q5104724","labels":{"en":{"language":"en","value":"Algorithmic properties of first-order modal logics of the natural number line in restricted languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7585731"}},"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":"Q5104724$0DC2416B-E7B1-4B0E-BDE0-0B3494CB9909","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5104724$6FA54AD0-8AC1-4DBB-BCF1-42111E8E5635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73faf7a6e2f59746a2f1227234196c68fcf7d40","datavalue":{"value":{"entity-type":"item","numeric-id":1623149,"id":"Q1623149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5104724$B70E669C-5E99-44C1-9560-8EDE922A04A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22a2efcfe4f96c3bebc408ebd225f07cb2931b11","datavalue":{"value":{"time":"+2022-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5104724$245B0E9F-ADAA-4B47-9F9A-EFC4FC701408","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5104724$5E62723A-90B2-4F5C-B412-AA53B24CC570","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cce3c97ef8561582ce81f21081e28732c9e104c4","datavalue":{"value":"7585731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5104724$DD1DA15E-B064-4D80-B7FB-3EC2C8B28FC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104724$9B174CA9-6E1A-42FA-BA98-7598A29257C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9914ace600fe82478c3798b2d72eaecf38356bf8","datavalue":{"value":"predicate modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104724$B4081637-1D34-4F8C-B479-9346D9C10F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b97ac32bc9cd3dafebe8e1f2d408ffac8aac069","datavalue":{"value":"restricted languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104724$22A38746-4480-4E91-9C09-9CB4C5B73845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104724$D7E085B1-1B98-408E-A9A9-441D0583BB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104724$0BD126C0-C90F-48CA-A81E-D33584777AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834a5d3aeff3e989ddbcac30f750804dc9e3013b","datavalue":{"value":"recursive enumerability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104724$5F3C6257-4F54-4217-B1E3-34B03E5F111A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96c670cb5bb3f93d571a5f56f1e88c84388368c","datavalue":{"value":"validity problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104724$71E4ED03-37A7-49D3-A88A-1DD53151275B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104724$F0998055-50AA-4E91-9444-4BB2CCB0512E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d302c40ee5c185c03e38008b3bc7d803ffb68697","datavalue":{"value":"\\(\\Sigma_1^1\\)-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104724$80EBCEBD-0A5D-4A06-817E-D197AEF7C0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a4bc4b24ff7a254866d32e2340be6d09506673","datavalue":{"value":"\\(\\Pi_1^1\\)-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104724$F85B612F-AAC0-451F-8AA6-FF8232C0D1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666bdc3e2f3153917e5198f050d63eb08c9500cd","datavalue":{"value":"classification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104724$3D112117-825D-455D-8D70-F7C3CF802BFB","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":"Q5104724$60A6DE13-BA8C-4F50-97CC-FA05E46D1A8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f966945f6678ee0fb706a503bbaaf0d6aa7cee9","datavalue":{"value":{"entity-type":"item","numeric-id":3382820,"id":"Q3382820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92fe01dbdfda6e9da38baac1b3debc8502604053","datavalue":{"value":{"amount":"+0.9394934773445128","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":"Q5104724$0B3568B3-E669-4101-AE08-517A96C66E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2821fc705c50d0deb378a7d3806495d34abdf65","datavalue":{"value":{"entity-type":"item","numeric-id":5140314,"id":"Q5140314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d234df42b47c547d4d027edeacfbc46bd60e42a5","datavalue":{"value":{"amount":"+0.8722641468048096","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":"Q5104724$5118E4F1-59F4-4048-8DCE-205A3B8CC785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf8582eef21252e65e9652aedbe0f4f2cd10041","datavalue":{"value":{"entity-type":"item","numeric-id":5858132,"id":"Q5858132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc0f7174a5aeb5203a5954786a523da75d500d1","datavalue":{"value":{"amount":"+0.8040614128112793","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":"Q5104724$87469AF8-F61F-4672-8998-7759DA78BA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879baf54907bb1097df87f9ca598554f4e06e691","datavalue":{"value":{"entity-type":"item","numeric-id":5419883,"id":"Q5419883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0135db72753a28e21203ddeac7a3c3f0ad5cd388","datavalue":{"value":{"amount":"+0.7675405740737915","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":"Q5104724$464D9F5D-2469-496D-A726-44489A555489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7df027df34ee8a2e80a6642b4e10220217250986","datavalue":{"value":{"entity-type":"item","numeric-id":4440792,"id":"Q4440792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5618616d5a6901dfd03c8ea17d2e53d4a28a9a26","datavalue":{"value":{"amount":"+0.750313401222229","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":"Q5104724$C60D5D74-72A9-4D04-AD33-5559AE98DCEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic properties of first-order modal logics of the natural number line in restricted languages","badges":[]}}}}}