{"entities":{"Q3997159":{"pageid":6026992,"ns":120,"title":"Item:Q3997159","lastrevid":55133374,"modified":"2026-02-03T23:44:15Z","type":"item","id":"Q3997159","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 47073"}},"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":"Q3997159$B06956EB-48D5-4D20-9EB7-11F4BCB7E550","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d5347a067dd1d3674a6c7367b0672b03460d62a","datavalue":{"value":"0697.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997159$304A21E4-3B60-4A16-8410-9779C7ACA0C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32bb598c3ece342de191f36c74a11dcf3baa1d27","datavalue":{"value":{"entity-type":"item","numeric-id":3792891,"id":"Q3792891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3997159$A1A11A9B-376E-4806-ADE5-24AA73BCA65F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7883d6b4a608e309b16b988a97013f465b2e60b3","datavalue":{"value":{"time":"+1992-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3997159$DA247DB8-28D3-4F3C-8914-57577E63A6AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997159$54989883-6C93-4847-8B42-176D07A6E510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997159$28E7CD7A-F6F2-4D54-8006-9721D28ABD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997159$7747EFF7-0C75-4D07-9415-09073BE740BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997159$DBA8B2E2-4294-4788-9883-B0B897516726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997159$7A730939-2A74-4940-AFE8-FFC50BF62F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997159$1FF4FCFD-48C1-4E65-81BE-16B6F6177E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997159$B4035700-57B7-40A7-8212-A71069EFFFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997159$2BA4B5C6-309B-4F50-921A-D16517E8446F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5a45220c6ef9f1bb4235f28279a1f2c13f35db4","datavalue":{"value":"47073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997159$4B64C9A4-A02C-4882-8C1F-0C3971F7F4C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997159$37198267-D877-4197-8C48-9E5C37915844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997159$8A70A3E2-91AF-4FA5-9291-F93A98A91A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997159$04ED4EC3-8C51-46BC-B4D2-6C15C1892C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77f6b122613ab28ed1949959e76bf4107c78456","datavalue":{"value":"\\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997159$8769F026-71D2-406B-924B-00D7DFF9021F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997159$7C7FFBC5-6295-479B-9A61-C037B3328E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997159$7733AC9C-9FF8-4A63-ADD4-E96D4D5907A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d38da4776f4daed53562c90688dc94ef6bcfb57","datavalue":{"value":"semantics of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997159$BD86499F-BBAA-4948-80CB-6D2A5F775A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e182fbe520e3405b96912f9a38e14e7ce0ffec29","datavalue":{"value":"Equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997159$2F29C346-97DD-4687-B7AB-C992E97CC9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997159$5C01B68D-A878-4EA5-B25C-12A7EA85855C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997159$C9CB45EC-79E5-4A67-AB34-AC0576F30EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997159$E0D9AE64-FF1A-4202-A0C9-E78A5F8EE194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997159$3A0ACB1D-EF5A-4CD4-A6CE-B0DCC2E98B7B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"640e4fd88a5f30a16111d1aae60fb5a8e06d1e5d","datavalue":{"value":{"entity-type":"item","numeric-id":13964,"id":"Q13964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3997159$D7738524-77A3-4B33-B0B8-C5CA0FBE77E2","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":"Q3997159$9FB3DD3A-0F56-4EC3-A195-149EBD5A2B9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebeda66ad919da2068505ec6cb62abbf8df07469","datavalue":{"value":{"entity-type":"item","numeric-id":5905500,"id":"Q5905500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11549be24f7de5f37d0e15ad4a1b6b3cab4ccd3c","datavalue":{"value":{"amount":"+0.8321343064308167","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":"Q3997159$7313A20C-72D0-44F9-8225-D67EDD929D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ce1360b4e17a0de5c4f99b408798d0e6f1e746","datavalue":{"value":{"entity-type":"item","numeric-id":4002242,"id":"Q4002242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80860c65e828baf5ded221dfc53ae73cdfb6b5c3","datavalue":{"value":{"amount":"+0.8086382746696472","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":"Q3997159$D73CE33D-01CE-43C3-B56C-0562A40F2B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f62bbe79ace320b8f4d4db960e0c746c62dadc","datavalue":{"value":{"entity-type":"item","numeric-id":3996610,"id":"Q3996610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42d7b18c726b4642d9a4f7011863bce1ab81e33","datavalue":{"value":{"amount":"+0.7952212691307068","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":"Q3997159$3E07C88B-ED5C-40E6-B492-D43C09DA4FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42585510f374d8818326c3f472fbaa5b0baaeff8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32956f1825a0c15ffb6c0a50bdef50f483f51aa9","datavalue":{"value":{"amount":"+0.7933170795440674","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":"Q3997159$CBFA6527-C409-4B2A-9E37-C946DF1F939A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3997159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3997159"}}}}}