{"entities":{"Q6122593":{"pageid":13256900,"ns":120,"title":"Item:Q6122593","lastrevid":102385550,"modified":"2026-06-06T04:20:01Z","type":"item","id":"Q6122593","labels":{"en":{"language":"en","value":"Inductive definitions in logic versus programs of real-time cellular automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7811868"}},"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":"Q6122593$FB1C7910-B7FD-4C2F-826F-5CCDB82E5837","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d211bd0b8c1df1d965887eec5b7c413bac869361","datavalue":{"value":{"text":"Inductive definitions in logic versus programs of real-time cellular automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6122593$CF422D96-52AF-4723-A277-4EDC1EA2E1D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dae8f46f54ddef78ce2c5c814dc33261ca054d1","datavalue":{"value":{"entity-type":"item","numeric-id":295629,"id":"Q295629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$3CC121AA-9C43-437F-9A0A-F0AE773588FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ce14d524e9df7b5889206a10ebd5b860e585c9a","datavalue":{"value":{"entity-type":"item","numeric-id":6122592,"id":"Q6122592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$B2884CD2-B68E-4E8B-B832-F430F3BD590F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c61f93f34511fdd6cecd67c10d8c088b5ba8c994","datavalue":{"value":{"entity-type":"item","numeric-id":673791,"id":"Q673791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$E0B8D56F-660B-45C7-B52E-36B15FEB3FC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$FE3A3BF7-ED5C-4AA5-ACCB-604AD9D7DA77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b4f8179f4c5af9d5e23c2be86ce4f3fdf855100","datavalue":{"value":{"time":"+2024-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6122593$1C8BCE1B-EEB7-468D-959C-5DAFA86E235F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f81c1437eb50ebf6b211d694712378cf474439d","datavalue":{"value":"https://hal-normandie-univ.archives-ouvertes.fr/hal-02474520","type":"string"},"datatype":"url"},"type":"statement","id":"Q6122593$A16751C3-C7AD-43CE-B8EF-8FBDAE18F1C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122593$4A863C9B-3125-4808-8835-23B3ACA13532","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ac7f77b160d2d88ff1a022060dcea77e5ba89a9","datavalue":{"value":"7811868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122593$E1288992-7395-4568-A967-7DB77E435293","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122593$100D71DE-40BC-4ED4-8C5E-4C797B18EEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122593$8989C005-99A7-4F6B-B134-528540F0A847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d419ded2e3cd581575a8f1abe33deac01177c7bf","datavalue":{"value":"cellular automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122593$A4D3B067-A885-46F8-96F2-3753603D0229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b04b0c12ba853bc6991c30e0d7b78a10ae28b65","datavalue":{"value":"real-time computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122593$0CB5D884-242D-4003-9618-6DF13AE5333D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61380439d4976206c8d8bfd964c1dad40a9de599","datavalue":{"value":"Horn formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122593$8110D7E9-35D7-486F-98F8-4D1B884FAD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc29fb6866ff15dbc5079f8d12fecff6f66005b","datavalue":{"value":"existential second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122593$F1342634-5722-4827-A0AC-757A7ECB28E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"942d01c41f83f0287b2b37d733bf57097d64092b","datavalue":{"value":"inductive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122593$B4BD7569-4B77-4DDE-8FF4-D8A22E3FBE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3856f0f5f3d8506ff2d5fea6957010c25b70b7","datavalue":{"value":"parallel programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122593$B364CD14-45FC-4D94-8B55-E449A7196041","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":"Q6122593$1BFDF2A1-4EA2-498B-B5CD-78A93FCCBBE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7654f246bcbb11907f775bccb6f23b188beb7ea","datavalue":{"value":"W3107368763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122593$E38C810D-C2C3-4523-B329-4863D10719DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$22139038-EA8A-4726-B61F-9934470DF2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3267a808ce58b219f3d91c3ee16f7ca0668f1215","datavalue":{"value":{"entity-type":"item","numeric-id":5111431,"id":"Q5111431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$E9813DF8-BC60-484E-8855-09CBC9433F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19686091b84a7150d67d37efa1f8c458c00474f","datavalue":{"value":{"entity-type":"item","numeric-id":790615,"id":"Q790615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$621D7D9C-E188-4CB2-826B-2879AA1E7BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77be87ab66e2f8859d820e3540a34826228080da","datavalue":{"value":{"entity-type":"item","numeric-id":5560021,"id":"Q5560021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$7961B67C-4051-4455-B3F5-A7F023C2B0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"966d3c8f316e39e798bda86a5bbdcd1db19a2743","datavalue":{"value":{"entity-type":"item","numeric-id":3885226,"id":"Q3885226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$82EFE665-0193-4294-A636-9854F5E4FF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$22294B0B-D4BF-4EDE-A70C-96BA9B6EBB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$9613B56B-71D1-4C99-9AB4-EFC868705C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9d31ca2c2d22ae97c395f37c2b24f3eeff4c9d","datavalue":{"value":{"entity-type":"item","numeric-id":5560682,"id":"Q5560682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$20494D37-7D7A-45C5-AD51-DBB5803689E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$4C02A3FA-E46E-4D35-B0F7-C313F418ED1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00fbad8fe3c3a491e1de8dee37fc723a673f69a","datavalue":{"value":{"entity-type":"item","numeric-id":1193408,"id":"Q1193408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$B9950859-E84E-4461-BA24-A5DF5952E8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248bde3a394bd4daef7ad3a4739df78b9e4b1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$1A84DA11-4F63-4631-8453-1238D9B7B7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1a3315975ed0698c9efa1e4065301c0a6803e5","datavalue":{"value":{"entity-type":"item","numeric-id":2408803,"id":"Q2408803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$EBF6C00C-FA7B-4E11-9D48-AD01233D268A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a82c462172a5574c6990d43cd4ff443816a2e23","datavalue":{"value":{"entity-type":"item","numeric-id":4598257,"id":"Q4598257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$50491675-09AC-447D-B331-3AF2DE25EE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3296bf743581abecf13cdec1d1ebd162011282fd","datavalue":{"value":{"entity-type":"item","numeric-id":295631,"id":"Q295631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$13063750-536F-4A9B-AA09-3AFD11964474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fb5228ed000f88f7df23cfc71bbeb240c9699d1","datavalue":{"value":{"entity-type":"item","numeric-id":3790658,"id":"Q3790658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$17769302-D04B-4F9C-8BAF-8DA7BE3BDE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab44b90a4abdacd2b6947173fbbf5e86620f0100","datavalue":{"value":{"entity-type":"item","numeric-id":1116339,"id":"Q1116339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$03E95A52-D104-4212-B24C-5383F67DAFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4adc507e192ae0675e164c7bd30682da834f3c9","datavalue":{"value":{"entity-type":"item","numeric-id":3687722,"id":"Q3687722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$5048120F-C3C3-45C6-BD89-3EA363A56C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$354434D6-01F6-4E1D-A991-9A49A82178B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$12973FD7-0A18-43A3-B9B9-18D3CFBB0964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec4896edc35f1e12505542682c8c6b6145a21f0","datavalue":{"value":{"entity-type":"item","numeric-id":4875692,"id":"Q4875692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$11FF2EC2-D175-424F-A36D-797A0B6A0DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$2050DE16-77B5-447D-92B6-A90C98083C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af456649bafbc8324d8ce4c6d284256a8c23f2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1097699,"id":"Q1097699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$F57F96E6-0F97-4F8B-B6FA-BC0356ED131B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f4bb2f9cda641a8703f1fa0b2c773f3ecfe6b7","datavalue":{"value":{"entity-type":"item","numeric-id":4531380,"id":"Q4531380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$F404E1C1-14F5-42F8-9E3A-D97906E1F3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825a576d1ef81b4217a28e9cec5213f3fc9f836f","datavalue":{"value":{"entity-type":"item","numeric-id":4825389,"id":"Q4825389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$87D3C600-4887-451F-AF31-11268D8382BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b6d468768b7f2cb17810bed70db9b020f2eade","datavalue":{"value":{"entity-type":"item","numeric-id":394967,"id":"Q394967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$37903CA4-8B3F-4CE5-AED9-425348B0B691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"420d293aed2d3d9d502aa06a5f320db4d977f0c8","datavalue":{"value":{"entity-type":"item","numeric-id":4517129,"id":"Q4517129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$C9B61AAA-C4D9-47B3-BFFA-9823314FD328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893c6ddd00dff5580efa9c66ed272126b79d6200","datavalue":{"value":{"entity-type":"item","numeric-id":5710669,"id":"Q5710669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$F045951E-6AAA-4D86-A2F8-645DDB9A6608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff02b1fd6475421bb663d640a4538cea72e3e90f","datavalue":{"value":{"entity-type":"item","numeric-id":3394915,"id":"Q3394915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$6B75C139-993E-473B-A7EB-CADD42F66B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d00f377e2761953dfa1ad2164800fbd0161051","datavalue":{"value":{"entity-type":"item","numeric-id":2563020,"id":"Q2563020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$45B3E86E-6F58-48AF-A4F6-83C8F3056593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6030b273d56e332b90b96eeeb43f85e3dd37fbb7","datavalue":{"value":{"entity-type":"item","numeric-id":1351802,"id":"Q1351802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$C42AFD08-36D0-4166-B85E-82961107C473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af3e03287bb64de4c4c3d784307a49071bcf4a3","datavalue":{"value":{"entity-type":"item","numeric-id":1292301,"id":"Q1292301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$BE8F74E8-BD07-4159-AA0D-E3596C5D8DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b5fc8e66e0b96618e5b2e2f5e826e466dcc93ce","datavalue":{"value":{"entity-type":"item","numeric-id":1401216,"id":"Q1401216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$BACC18F1-CDBD-4597-8EB4-B39F9EE446BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef105bf5cf354f9e8a911b247c3069bb8ae77e6","datavalue":{"value":{"entity-type":"item","numeric-id":1399986,"id":"Q1399986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$28BD0C71-4341-4EC1-B74E-7C0FF602DC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"accf23eef6def4f6f21206e5b9e571893e1a479c","datavalue":{"value":{"entity-type":"item","numeric-id":861257,"id":"Q861257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$81E84CB2-0128-42EE-B642-1A0A45135C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b868b429b38a95d26334a6dead4d9479e119405a","datavalue":{"value":{"entity-type":"item","numeric-id":1704113,"id":"Q1704113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122593$653AEC8B-4F96-47E7-9938-3E52276E7C37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bf06b1542f56a5f7c4d388dec9ef76c6a7628c4","datavalue":{"value":"10.1016/J.TCS.2023.114355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122593$BBB40886-A1B4-4D2C-B9C7-6775014F5850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive definitions in logic versus programs of real-time cellular automata","badges":[]}}}}}