{"entities":{"Q7266644":{"pageid":31045094,"ns":120,"title":"Item:Q7266644","lastrevid":104268326,"modified":"2026-06-22T12:56:45Z","type":"item","id":"Q7266644","labels":{"en":{"language":"en","value":"A unifying logical foundation for initial algebra semantics and induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8211182"}},"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":"Q7266644$E2D43DCD-E749-42BE-BA88-3D9C81A6BF88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5541e8f5bc3f69483635fcd32bcb94eaa34be86c","datavalue":{"value":{"text":"A unifying logical foundation for initial algebra semantics and induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7266644$3E824C8B-7EA9-4FC2-9226-528532F57448","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f369c5d8feec90dc6563026971ca0354e9867ce","datavalue":{"value":"10.1016/J.TCS.2026.115981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7266644$FAFC88A8-BFCF-402D-A071-6E6EF1C0F778","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27d69fe091667616cf647bcb37bd9e4766720550","datavalue":{"value":{"entity-type":"item","numeric-id":480784,"id":"Q480784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$FB1425A7-39E1-4C0D-B742-DB46265CCC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$5E2F02B0-5EE6-4A37-B099-2C5F6319BAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$9DE0FFFE-3834-4DD8-A046-22AD69045BE8","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":"Q7266644$B942B05E-AE65-4786-AE91-EBC337FEF9F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b907fe0fb51e1c6e88858426e2720eaf0df06e0","datavalue":{"value":{"time":"+2026-06-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":"Q7266644$8845D916-51B0-4C40-97C7-06055E98CD35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7266644$E89F9FC9-A0F9-43F3-93FF-C0A23654C8B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2cea16636b9a74dd633996c33c4ef669acb891a","datavalue":{"value":"8211182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7266644$3970589E-774E-4B9B-B7C6-6279498410CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f17ea1aaf292843045de6c8e0fba1afa1d6af9c","datavalue":{"value":"initial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q7266644$2A3CF64C-E2CA-4AE8-8CF4-01C625833516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f989fba8bb93a2cba76765f66ae6bdaf7b8eba8","datavalue":{"value":"matching logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7266644$50DE0883-C762-4D8E-B12A-81AE3935B6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f48fd328779d437a28c2f48d253d0ba8c1570d","datavalue":{"value":"inductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q7266644$27EAE630-5795-4192-9B34-9D8432C51F93","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":"Q7266644$53222AF0-B836-4157-BA1D-3214521DB82B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ac21557d803c5a4877d0b0335294fac14ee919","datavalue":{"value":{"entity-type":"item","numeric-id":4600770,"id":"Q4600770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$5328F14E-F530-4BBE-8E05-CD3E47B55513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae40bf7c9ca29e5a292c3f2e90b2185c1e061304","datavalue":{"value":{"entity-type":"item","numeric-id":6654486,"id":"Q6654486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$D7591C72-7194-4CC2-A409-CE90AB540E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1090e201483226850d089b8ad409eed4ba0cad1c","datavalue":{"value":{"entity-type":"item","numeric-id":2035650,"id":"Q2035650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$612F72A0-C6BD-4602-9D8A-4C04F84331C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17381064ecefec5ad5ec8699a3a8d3cf543b73fa","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$A22D9AC9-624D-4A4A-9FED-BDB5C83B6D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$F557558D-20EE-461E-8785-4F824F147C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc94c0f267a5b105d4bb294ed6fcdf2ef2281a90","datavalue":{"value":{"entity-type":"item","numeric-id":3667921,"id":"Q3667921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$40D78A33-75FF-45F6-9C31-178168EA1A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$F23FCC3A-D545-4741-BAD9-3A79279F84D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe5376f91eb49b1bfb3cf5ede501544daebc813","datavalue":{"value":{"entity-type":"item","numeric-id":3976053,"id":"Q3976053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$9D732E3C-B5E8-428B-85D9-66E7C552EB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07ab1b34cf5cbc8b0d382033f0fddc7c499217a","datavalue":{"value":{"entity-type":"item","numeric-id":5370860,"id":"Q5370860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$2271CF43-2206-4005-A969-230311E20915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4368711a38820381fc744a8d9886d2aed6cddb9","datavalue":{"value":{"entity-type":"item","numeric-id":1472446,"id":"Q1472446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$996E2074-3C42-42DB-AB9A-76F6ED7B2AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$8B200DD5-C4A2-4124-BEAB-3EEAB48639DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe32806edf287e44f6855c200795e18b751477f","datavalue":{"value":{"entity-type":"item","numeric-id":2751366,"id":"Q2751366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$A70C73BB-09FD-4417-B1AA-BA844928BFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2737e8d4322f9f87afda426facd81d5c8bc2f98","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$F830D4A3-13B5-415A-A872-DF4671F71CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28ff8a4a0483a6768a1905df4bd074926e8216d","datavalue":{"value":{"entity-type":"item","numeric-id":5432344,"id":"Q5432344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$3EEDC03C-B65A-490B-9A60-CA419416CFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee34a3e1db7e7d8be76cc6c09af2b870cb6ca163","datavalue":{"value":{"entity-type":"item","numeric-id":4933334,"id":"Q4933334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$459443A8-15E3-46F4-8EEF-EC9F9B78A0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$23BE301B-C533-47E7-B72B-26ED815F36B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf8150531dd139e92d199e5424737b99d920576","datavalue":{"value":{"entity-type":"item","numeric-id":3785921,"id":"Q3785921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$2DC45CD1-48E1-40AD-9479-CBD5A312382F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$F98ADF3A-BF6F-4676-AAFB-C74D6D290996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa518cff8ba18aee424e798849bd39df384deef0","datavalue":{"value":{"entity-type":"item","numeric-id":4747503,"id":"Q4747503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$1E31199B-771B-41F9-82AD-E5C6ACD2ABA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$AB61A548-4C52-437B-92F7-1ACDBFDC8CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a021c8dc1fc066d43ef01b9466bb43f6b862c72","datavalue":{"value":{"entity-type":"item","numeric-id":1853453,"id":"Q1853453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$BFB51723-0473-4D99-A575-13F943B75BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c3bff08a591a81b01078d3191ce7312b8dacae","datavalue":{"value":{"entity-type":"item","numeric-id":1392287,"id":"Q1392287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$F91FCFDB-8372-43B5-95DF-B36CA8D998CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784f038b41cf6a95136e868957e992da42f29715","datavalue":{"value":{"entity-type":"item","numeric-id":2819787,"id":"Q2819787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$C34F4FEC-E7A3-4437-85AD-FD3FC147867E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e3205f61ab0cf0c757b93cbb15b5f9dfc288bf4","datavalue":{"value":{"entity-type":"item","numeric-id":4945205,"id":"Q4945205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$41675287-940F-4008-A9DB-68BBF99076A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fcaa03a7e112faaaebcb4cc431e02a031d7272","datavalue":{"value":{"entity-type":"item","numeric-id":1404425,"id":"Q1404425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$D7D561E6-9B6E-43F8-984D-1F67F3659AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a98ca8ad947d93065e67feb1362da03cdb7848","datavalue":{"value":{"entity-type":"item","numeric-id":3094177,"id":"Q3094177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$EC804253-1D86-43A6-A2DE-527A868618E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6dee845aa2fb3e3b96fd0f5f996675d409056","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$1965FC06-765A-4344-B43C-305FF129EECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a306c39e90a61bbf0324324b38f286a3808406","datavalue":{"value":{"entity-type":"item","numeric-id":2986785,"id":"Q2986785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$E27DB2B2-6EDA-46E9-8D13-6566499B5DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fcb40e7b9137081af94c531611cec237edc6646","datavalue":{"value":{"entity-type":"item","numeric-id":3177878,"id":"Q3177878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$690C3D77-91D3-4BBC-B0E0-7E28A7A92406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afe468b119e5b3590e998b56717b1e7576b8572","datavalue":{"value":{"entity-type":"item","numeric-id":2200826,"id":"Q2200826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$75F3EA26-341D-416F-ADDA-3AD5F6E68D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f95284d38733738ad00190e1f0c408a6653ae7","datavalue":{"value":{"entity-type":"item","numeric-id":2333322,"id":"Q2333322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$7C580B4C-B61D-4C3F-BE92-4EAF79BC52CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422aaa623eb5f87aeca9f244e6f007c7eb8ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":2796035,"id":"Q2796035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$674D807D-DB67-48EE-8EA5-A2A3354651EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$8E698E13-124C-408F-9D59-AE2C10B41508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa401b3f58fb4c2bc9ea2f71ee0d728db11587","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$BBCA0D32-37E9-4D93-9845-6604A21C9A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$958C56B9-4D6D-453F-A97F-3D3B7932C229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d336268e40135c3453860ef42d03950683322d","datavalue":{"value":{"entity-type":"item","numeric-id":5458424,"id":"Q5458424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$539EEE27-24C3-4ECA-9A56-157F4487D11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ceae85d0eaa56c6b3a949220701655fdef8a77","datavalue":{"value":{"entity-type":"item","numeric-id":5094144,"id":"Q5094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$4D5A0280-2031-43CD-9B19-5F494D1CB51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b51be60cee0eb6f5b023d5c08d16239999b302d","datavalue":{"value":{"entity-type":"item","numeric-id":3612632,"id":"Q3612632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266644$7164AC65-998E-4656-8D71-49D675707573","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A unifying logical foundation for initial algebra semantics and induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_unifying_logical_foundation_for_initial_algebra_semantics_and_induction"}}}}}