{"entities":{"Q5224583":{"pageid":7254152,"ns":120,"title":"Item:Q5224583","lastrevid":53486174,"modified":"2026-01-25T01:05:50Z","type":"item","id":"Q5224583","labels":{"en":{"language":"en","value":"*-continuity vs. induction: divide and conquer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084849"}},"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":"Q5224583$4B84F561-95A0-4E53-8FD5-16D78E4ED517","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67cf686752c514074eb2c96f5c53340c083e5f6b","datavalue":{"value":"1418.03111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224583$FA75E5EB-43F5-44E4-92AD-1B995509FE58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224583$0E197BAA-D6EC-4505-95DE-BF5CD74F31BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224583$A463A278-7223-448A-B09A-0D94413139EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224583$AA1A6E24-D2E7-44C2-B3B9-37E5F7941268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224583$BB4EA7BF-CC39-4EF0-89CF-3F0790DEC1AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2352db5a9e4b74a07f467917a2f1c1fece43ff5a","datavalue":{"value":"7084849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224583$92439B97-493E-4D6E-9D7D-804B09A88696","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36391445f0f3dfece06335c9cb1fe297549dd252","datavalue":{"value":"Kleene star","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224583$9E926A70-8326-42DC-810D-266352000B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfcabcf0527991d065940d2f79dd618a008e7edd","datavalue":{"value":"infinitary action logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224583$D2F36ED9-D541-42FD-9529-39FB02B1E279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cc92540a64df82dcf46c590b32c48c256814302","datavalue":{"value":"action logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224583$3EDF148A-ED0F-4B4E-B8F7-EA863227BB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e73feff0f22eb46d7e20485d9799cb0d52380c7","datavalue":{"value":"residuated Kleene lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224583$922A16F2-E0F4-4B3C-B1AB-436ECCACF423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fa82a7512865616d40104008e27a17d495a3ae4","datavalue":{"value":"*-continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224583$98D75D76-4DDF-41F8-BE10-552E4BF1415C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f74859144e85621ce8033aa6139f95edd2cbe59","datavalue":{"value":"algebra of formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224583$A44D030B-3E29-4EF8-B155-E2B499246268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224583$60C97F4B-00F6-4EC7-9B59-7E964B669932","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5d368681ff8e32a8d60dd595e043e935c9e45a","datavalue":{"value":{"entity-type":"item","numeric-id":1679986,"id":"Q1679986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224583$9E9DD2DA-2775-4704-AF57-E720467F28D2","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":"Q5224583$F90506E1-FAAF-4844-BCC0-28D6A9C4B21C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2722055e96e2aed5d4ad6d0b6fa6417896a64f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3451106,"id":"Q3451106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606fca4f89376477b676c6658927711f8ab1fe91","datavalue":{"value":{"amount":"+0.7930538058280945","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":"Q5224583$38504DDD-23DE-4787-B255-666A21BEF5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe217c8d6414475f15bd3c7d5f22adab9333973e","datavalue":{"value":{"entity-type":"item","numeric-id":2506487,"id":"Q2506487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07fcfc46806ac476b8e1b8d98c90ecf80ab916a1","datavalue":{"value":{"amount":"+0.761339545249939","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":"Q5224583$8AC1AE90-9F94-4E21-9103-A28CE8C72D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc2729e3f9111d26cfdd2804e304ed292b8005e0","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8584c9c69ee7dd81c97d86ad82f7a3ffc7712529","datavalue":{"value":{"amount":"+0.7283527255058289","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":"Q5224583$950FAF3B-C34A-4A83-81AE-09C69C3DFDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a172eb778e59a21fc5b28950c026cdd2ef0e91ff","datavalue":{"value":{"entity-type":"item","numeric-id":1882911,"id":"Q1882911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee9b6150cf95ab26eb5b435b204df454c467a60","datavalue":{"value":{"amount":"+0.7251331210136414","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":"Q5224583$F1738388-3ADF-49B2-9A02-2A36E00C2E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23325c3bca427a16c9a3e77ed4a9a328c68497a8","datavalue":{"value":{"entity-type":"item","numeric-id":4375630,"id":"Q4375630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481b426b3164606d42a32577d82106bf5ebd36a7","datavalue":{"value":{"amount":"+0.7237484455108643","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":"Q5224583$4FE2C51E-2601-4153-B1FF-ADE7B94ECC2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224583"}}}}}