{"entities":{"Q3947102":{"pageid":5977007,"ns":120,"title":"Item:Q3947102","lastrevid":55064464,"modified":"2026-02-03T07:54:00Z","type":"item","id":"Q3947102","labels":{"en":{"language":"en","value":"On the relationship between computed functions and fixpoints of nondeterministic recursive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3765114"}},"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":"Q3947102$2788320F-FEDA-4EAB-9157-F0E820D457FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"456d937fe24be043f60209582a9c240d71b72d84","datavalue":{"value":{"text":"On the relationship between computed functions and fixpoints of nondeterministic recursive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3947102$0A24A990-AF12-48BB-8F0B-D117C9AABC8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2503960d60d371a91deaad7e1a355de64711c705","datavalue":{"value":"0486.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947102$0536AF30-F30A-4E74-A34E-F042087D66B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f053dc71cc9d2d42570bcc65c6deb80a2a2e1b0","datavalue":{"value":"10.1016/S0019-9958(81)90117-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947102$E2194FBE-C444-4939-9EFD-4F454DBC1BB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6934ff43c18d4eb83c0180569d954b740c1ce968","datavalue":{"value":{"entity-type":"item","numeric-id":209302,"id":"Q209302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947102$F3339F23-42FC-4D8B-824D-B442505AA198","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947102$569362CD-13FF-449D-812E-802CB18A7594","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3947102$DB4D64BE-2DF9-4071-8ECF-BFF4DD78FE01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947102$9E8CA29E-6A37-48AC-B1A6-ABCCDBF41921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947102$D31964CE-3881-45AA-9590-5F507D66FE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947102$1EDCEDE7-6661-4A62-89A5-111763D20EAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc0e7c79e9e9723dd112b85d1fdfffb396698d66","datavalue":{"value":"3765114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947102$E4CD79C0-C21C-497B-9BEF-74BA5FD27E73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f5b38fb2a74b9d769b35f0082d509945130efd","datavalue":{"value":"fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947102$12718575-6162-4F2C-B8CA-B143967641EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0140214c190375f55a640c289567edcc1277290e","datavalue":{"value":"computed functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947102$7988F2B6-D883-4CD7-BE3B-E894C16B44E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e0b532c5b0f63596275bd624e05298e0eac682","datavalue":{"value":"nondeterministic recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947102$F6931CFE-B74C-4237-B5D1-C56789434A8F","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":"Q3947102$45CFF08B-2329-410D-846F-470D2A125DA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3947102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3947102"}}}}}