{"entities":{"Q5089302":{"pageid":7118878,"ns":120,"title":"Item:Q5089302","lastrevid":39527782,"modified":"2024-12-30T14:52:56Z","type":"item","id":"Q5089302","labels":{"en":{"language":"en","value":"Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559491"}},"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":"Q5089302$501FAE11-9151-40AC-999B-EA77B5F5B68E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac275a8feab82f92f50b0b4e88a8f9919fd0ac3","datavalue":{"value":{"entity-type":"item","numeric-id":1652983,"id":"Q1652983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089302$937F6C32-7789-4648-9D2A-F90C757AF1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a0be023ae0e9e5a0ddfbb1f86d4e9f4133d772a","datavalue":{"value":{"entity-type":"item","numeric-id":1894679,"id":"Q1894679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089302$AF658C13-FB88-4945-A0E8-0F8F57B43AFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089302$3939D8AD-476A-44D5-9AB7-3128EF06781B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089302$C534AE2E-5822-4413-8AE7-3871323675CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ed264cd3d943d6063a6c8219eb6b26e567e8d36","datavalue":{"value":"7559491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089302$84A60B45-5998-4A27-A773-74EC8227FD89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089302$65E0D9DF-BE6D-4FCC-B765-ABA1E39770D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089302$C4FEF984-039A-4EF1-A192-546EBBC6BC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089302$3E930868-43B3-40CE-AD00-F5A9B3AC1644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3745f54a3339923feca2ac5349d25baebf1d45d","datavalue":{"value":"soundness and completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089302$4BDE9022-D474-4979-B9B9-911A4956A91E","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":"Q5089302$884A9C46-A321-42D6-957C-CDF551DBE4F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd631a861a9695337cddb0b15d0ba386658e13d","datavalue":{"value":{"entity-type":"item","numeric-id":1923086,"id":"Q1923086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089302$4E3A078F-02DE-4495-A5AB-84C18BD434BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089302$8A591ECA-68DE-4C28-AF0E-8221D27FF38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c12d01b4b17dcba5eb7f3e67eea2f1bdd2eaf6","datavalue":{"value":{"entity-type":"item","numeric-id":2581532,"id":"Q2581532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089302$E84A29C1-1342-4A8E-855A-B98E129D4327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089302$C363AE42-7B6E-4A30-B76C-3C65CA3C207E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089302$5AAA5773-320C-4778-B1EE-6A68EC3CA06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089302$1BD7C16F-6DAC-4148-8EA8-A7276F6087AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089302$DC618155-59CA-4051-9585-4617A18A8CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089302$116EE581-5D50-4C65-A547-FEDCC720B20C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"005565cc96af9b219fa3eb9e0e9f581b64bc9bbc","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CONCUR.2020.35","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089302$D067C566-384D-47C7-BAC0-EC92997D38C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e833ca006a7c87b19aba19ec2cae18f593358145","datavalue":{"value":"W3081625212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089302$91AE68E7-4C75-408C-82CF-6F9B220BD837","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d908594e089956820032fd2fd69b2f4ee5650548","datavalue":{"value":{"text":"Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089302$9DF4EEDE-702E-48FE-8A57-83BD9DDBEB15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc672f53afb709c446006dcba24444f90798e074","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089302$8CCC854D-B858-420A-9907-3A5476DD935D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089302"}}}}}