{"entities":{"Q3885741":{"pageid":5915646,"ns":120,"title":"Item:Q3885741","lastrevid":54611516,"modified":"2026-01-29T12:09:26Z","type":"item","id":"Q3885741","labels":{"en":{"language":"en","value":"Decidability of the unification problem for second-order languages with unary functional symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3691304"}},"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":"Q3885741$94CF66A1-E9B5-48E7-BD28-14C2BF581C05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"324a6011c1dadde796c56c7f8148cd2ddddd9426","datavalue":{"value":{"text":"Decidability of the unification problem for second-order languages with unary functional symbols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3885741$283A4752-65DE-474F-A6A5-B421E193F0F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3309fb9dc26eca20e8295f63eb6aef8fb3012c07","datavalue":{"value":"0443.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3885741$C6C3A69D-E3C0-4D74-BFDC-77F60989DB98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"660e807dfe8f044c7b5a881ef1b7d8def620d9d1","datavalue":{"value":"10.1007/BF01071228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3885741$7716F83E-3981-414C-B648-A7595EB5E35B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad25338372c58a8395aca5d8aa19950a9e5a181a","datavalue":{"value":{"entity-type":"item","numeric-id":3885740,"id":"Q3885740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3885741$10145BDF-483B-409C-B905-D8F1CD3BE379","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3885741$7F576F0C-7DCE-4055-8C07-48E4EB70DC6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3885741$86CB5C64-46F5-4294-9663-C1A1E50D7A3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3885741$395FA80F-7479-4B02-B072-113E423FE627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3885741$28E29D02-0A94-4BDF-8E6A-AAFEC1B8582D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"347892cdeaed9b406229d8b2f59598bf71143ac9","datavalue":{"value":"3691304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3885741$0B573C72-2226-4AA7-A74D-5E35079731C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb9d9b3489590e2909b731161e1e53f29d64b0a","datavalue":{"value":"unification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3885741$EEDD835C-8BD0-4967-9C13-A5F924FB4A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc38d3411ff9b651dd98f96e419741caa8dd6e3c","datavalue":{"value":"second-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3885741$07BC60A7-5FD5-487C-85B9-A73121036592","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":"Q3885741$94EBC029-2AE8-4BD1-9487-5728A71758A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3885741$278E9621-5DB7-4943-838E-1D9AC19E9BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46bb376c314f83419411954235d6e359ad5cbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5672888,"id":"Q5672888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3885741$2B9B457A-7DD2-469D-A45F-BF0AED8F65D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3885741$2F004FDC-4FAD-4C3D-8F1B-F2A44F8ED805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c89dbd2855ba43daea8b45eab22e20a3e8e01e","datavalue":{"value":{"entity-type":"item","numeric-id":5667481,"id":"Q5667481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3885741$15F5B581-4A6A-46EC-A612-85B6036AD61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ce06304bf3709cc235c3276b4f500aec1ac468","datavalue":{"value":{"entity-type":"item","numeric-id":1239309,"id":"Q1239309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3885741$C1AE7025-DBA5-434D-9ED1-325EB5B309F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"146c2cf67ae367d823a4ae7b8d88270832325b58","datavalue":{"value":{"entity-type":"item","numeric-id":5677084,"id":"Q5677084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3885741$1B58A524-D77D-42E0-88ED-A4787C0E5C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3885741$C793BC32-2887-4181-AFC1-FB2ECB4A41D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3885741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3885741"}}}}}