{"entities":{"Q4540524":{"pageid":6570116,"ns":120,"title":"Item:Q4540524","lastrevid":47947066,"modified":"2026-01-03T03:58:36Z","type":"item","id":"Q4540524","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1770055"}},"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":"Q4540524$85D9629E-E6D0-4DF8-8FEA-B46C88B90DBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23711bddb8401ec7ea6055d888d1184a25334d19","datavalue":{"value":"1007.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$395E1F62-FCCB-4A42-B2FF-B906A245D5D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4540524$A3CC14C5-E5FE-47E4-86A1-2C7F50DC692D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c67a8699777f333169be89dae501fa1093aa983","datavalue":{"value":"https://eudml.org/doc/122423","type":"string"},"datatype":"url"},"type":"statement","id":"Q4540524$1CDD8A0C-5CF7-446A-B04B-0C9B11FB3700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1dbbb8a577444bb92f09b2261da06fcc91d0bc0","datavalue":{"value":"http://www.emis.de/journals/TAC/#vol10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4540524$FEB8D9FB-2AAC-4479-94CE-3946FCFF66DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$1B2FB3E3-3540-4034-AF06-735CD276683A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$9F4E3EC9-922E-4ADA-A484-BC2DA92521B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$1CE60134-B9AA-4767-B13E-9123AF0214A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$70044A78-FC36-4DCE-A5D9-61EA1DF413B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$737F5E2C-B8EF-4D9C-9536-55F106604901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$6B18C6D1-7D25-430C-9DED-EF4013A295CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$CBB16D88-19EF-48C1-AF11-C3B9C825BD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2193e4c351a5ae8a19e08e563c2540f53af0e96","datavalue":{"value":"54D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$DD251287-9C45-4C8E-A44F-006C59112259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95029d8a64bb8f3d3cdfc3600a969acd585581e0","datavalue":{"value":"54D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$6D543EFF-7153-413D-BAEB-059BED070899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50e54321cc80124293b2516610b1f4290bd18505","datavalue":{"value":"54C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$C090FC1B-1CB6-4D9E-AB88-13A8FFD6FE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$4EAD24D9-B2E1-4BE9-B830-2E777591B01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$8133E015-C720-4F35-A860-8EB2A3D0A066","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6815254c7ef3184abf1d6c401c27ecfc25839613","datavalue":{"value":"1770055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$EDD8D12B-E326-4AC5-BCF1-F0AF463DC737","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daf21711b33fb3acbc2b7982bdb24e4d68304b45","datavalue":{"value":"observable type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$9393A40C-169F-41F3-889B-B46057C7B7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f11205ddc68e722cd2520e50121e7f1457b1482","datavalue":{"value":"predicate transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$5094C32B-8F40-4910-8EAF-BA0D11D8C4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfc7cf659829b5ff8330cdf848220217c6cbb58b","datavalue":{"value":"continuation passing style","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$B53B647D-472A-4F90-B9FE-E7B975FC91C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf55b7bc317704fb32659c99e192753675e0fb83","datavalue":{"value":"locally compact space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$BB3464E2-FB4D-4E8D-8208-9D2ECC019010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329ee9d99968c126f60e51bbcd4a189e8f875d9a","datavalue":{"value":"locally quasi-compact space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$B535910F-A2CF-4738-89C2-AE255A9F82E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea90041a2428e1c3dd92667f42d8a74ef4d8ca1","datavalue":{"value":"locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$156366DC-AEEE-435B-88C6-C8DD51AEA382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"342c53fa616bf9fbe4984c9fec0fc006ceb723fa","datavalue":{"value":"prime filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$128809E4-B963-47A9-A16D-A3FC9EF944C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e68c6b9adfa96bc19121e4af3db3c85ae427b91","datavalue":{"value":"Sierpinski space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$947FC035-1FFB-40C0-9F0D-434C5301612C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1e8aee37fac69bac58a84c3beec52b98323c429","datavalue":{"value":"schizophrenic object","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$84AE059E-D345-4361-979F-90C870948BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea5637c0809f4bbeea66bd3fe34058bbb3109b2","datavalue":{"value":"Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$0DD42F4C-19F1-4D7C-9870-12CD64317301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a32b598e930e7f8c583f15f18be1bca81bfe1891","datavalue":{"value":"strong monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$83B5691A-F846-4663-B50E-4A502E3065FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$9A48D2C3-0651-4A7B-9D5C-01C7A8E60157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1ca1cfd49d6f74c40ec9a34851735f36dd29a2","datavalue":{"value":"premonoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$AC27625A-8DEC-42ED-BD8A-34860842A84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1885dcad3b5b9a0677546418419abe95e082a413","datavalue":{"value":"prime lambda term","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$51DE141C-3FA3-4591-8C3C-367FEB0D9B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b3ea22d062715a6552054908d68e2f762eeaf90","datavalue":{"value":"sober lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$141BB3AE-FBB8-4F55-B3D4-3B61722B2868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfd4d13c7babf9bdd13d5a37b39b51fb071eccd7","datavalue":{"value":"theory of descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$F56347F0-2800-458A-8839-B19B508184EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea390ff404c38f936c69308669cd2ce84d8671f7","datavalue":{"value":"general recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540524$1CAD22C8-CF4A-42F7-81B3-0BD70366110D","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":"Q4540524$529A34B6-F458-42F2-9EAA-381CC9E9172C","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"eb501ea84a6bad6b07ab147a8c13789ab16a01d9","datavalue":{"value":"bafkreihvvknxmruba6ha7rjmokkgkyfqjo2qqvsucjnynicvhbgawkcyaa","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540524$E1061322-3388-456D-A4F5-141F03F62070","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c2eb6b8a833da69f95f46f82547386c0fc83cd","datavalue":{"value":{"entity-type":"item","numeric-id":2253179,"id":"Q2253179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202f7fa433f199bea9697bf1e634fcc2dc244eec","datavalue":{"value":{"amount":"+0.7994888424873352","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":"Q4540524$1163C661-9E23-405B-9ADF-677D7DFADF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f9d3fb4248acd24e9c35f1f6d7a3c368b3d37d9","datavalue":{"value":{"entity-type":"item","numeric-id":1744464,"id":"Q1744464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10a091a4e1160a135f72c208a2b932b3ce83eca","datavalue":{"value":{"amount":"+0.7807246446609497","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":"Q4540524$1C33AAA6-21E8-4153-9816-0D05BF6EC39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce6922994042d5b5ddd97c393262a0140a21924","datavalue":{"value":{"entity-type":"item","numeric-id":1592943,"id":"Q1592943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e217a15b7ebad0b893765a9e67f9e1c6941f0b90","datavalue":{"value":{"amount":"+0.771480917930603","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":"Q4540524$13E690E5-8D80-4E1D-B163-69B69A002A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75cd1f15b2da3b3063f9ea1943262285fbcff16a","datavalue":{"value":{"entity-type":"item","numeric-id":4278886,"id":"Q4278886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8905c5b3049954a69ced427b055fa2676da7e6","datavalue":{"value":{"amount":"+0.7684249877929688","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":"Q4540524$2172D587-51E7-4B67-893E-069893F35992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67730713c304a8c027ca3a2d425429740452ce1a","datavalue":{"value":{"entity-type":"item","numeric-id":2508928,"id":"Q2508928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be9473b788012ec83afbb6758a2fc21c8a7faef","datavalue":{"value":{"amount":"+0.7669585347175598","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":"Q4540524$75076E97-4F94-4FFF-878E-A92412356B0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4540524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4540524"}}}}}