{"entities":{"Q672044":{"pageid":673893,"ns":120,"title":"Item:Q672044","lastrevid":63452448,"modified":"2026-04-11T13:15:48Z","type":"item","id":"Q672044","labels":{"en":{"language":"en","value":"Filter models for conjunctive-disjunctive \\(\\lambda\\)-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984747"}},"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":"Q672044$01783BFB-4E0B-456E-A7B0-8D7C2775A192","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e753dd87b2813ab16015ec98d62a7b1bfa65af43","datavalue":{"value":{"text":"Filter models for conjunctive-disjunctive \\(\\lambda\\)-calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672044$BE0B91E1-974F-4B44-85F6-5DF1BB5D2B32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0ff1d5f948f69d651285689deda56da785a299b","datavalue":{"value":"0874.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672044$D763C992-1E5A-44B7-A413-F777E3264069","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de5019517dbdd7a14fe72dfd0cd7f7db67c21065","datavalue":{"value":"10.1016/S0304-3975(96)80703-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672044$F0D8CEB1-8820-4D65-B183-8C0ADC60DC3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$2DCDB555-31DA-4326-B867-5D14124BD04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bd6d086c45e7565175127214e8d79bad475f0a","datavalue":{"value":{"entity-type":"item","numeric-id":315297,"id":"Q315297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$2A42C6DC-F56A-42F2-A35C-A71B915FEC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"473a79a2fa6ee140684f220cc4a75611d743f1c6","datavalue":{"value":{"entity-type":"item","numeric-id":672043,"id":"Q672043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$7A4420FB-DF32-4292-8D6D-2FF73B49B8D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$D442E0EF-BCB5-4F93-8674-C110A97C6862","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672044$1498F8FA-1450-4E3E-8912-85B293256D46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672044$7C7EEB2C-1E8F-4DC1-A459-B69C24223659","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdcd41585f4490f3394419db0d43c2138638fb44","datavalue":{"value":"984747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672044$1AC658D8-A103-4516-AE78-F45546340216","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q672044$A6AB6F65-076E-4E90-A3A7-76BB41EF5195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q672044$BC617A9B-17D0-4E0B-A419-4F58FAE9144C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q672044$65C95567-6AD1-4F7F-9D67-85E249B3726F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q672044$BDD08FC5-300B-4056-87CF-3F11C772D5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9837ed60850da4a95bc75cd1bc07a277e9069f2","datavalue":{"value":"filter model","type":"string"},"datatype":"string"},"type":"statement","id":"Q672044$02A6E150-B1C2-42F8-B629-CB1E0F247FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q672044$74824CDF-48F7-4844-A288-DD7E9E52DCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967bc120c96b897d4c18218c9b1462d371d77694","datavalue":{"value":"capabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q672044$3A4D306A-7F94-4611-8B8A-8BB1DCA90DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe541d38b3720082c53719c3c69fa6a64dde4cfe","datavalue":{"value":"extended lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q672044$10D4927A-85DA-46A0-AF42-B93CB05943D2","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":"Q672044$BBCECEA5-2146-410A-9075-0C384FF7208E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b44544c39b7edebbbca995b0d3f7f0d62c04afad","datavalue":{"value":{"entity-type":"item","numeric-id":1322481,"id":"Q1322481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$36F0E513-72B1-4834-B75F-C85DF8194225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde268768cb5a3bbc4a6ccecc6a7bc4da7784515","datavalue":{"value":{"entity-type":"item","numeric-id":3325069,"id":"Q3325069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$E1BD55D4-10B9-447C-BF83-F702573F4AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$19B5049A-6AB2-458F-956B-20869A851A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$26AD48A6-F593-4A7F-A84B-DD2147DB8085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e74daab7786810a8c7b1e2e7aab9fefca04741b","datavalue":{"value":{"entity-type":"item","numeric-id":4954440,"id":"Q4954440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$6E9EF31D-1D22-4DE9-A6C8-BA59F6F777B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e3697952a379e5dc856805691deee313dd3520","datavalue":{"value":{"entity-type":"item","numeric-id":1152949,"id":"Q1152949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$DA772C35-8F0F-4021-9F96-0D16FABF842C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$571D36FE-293B-4FC3-ABE9-28965BE66B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59f0470868d890facd258dc61c1d63aa031f33c","datavalue":{"value":{"entity-type":"item","numeric-id":4286211,"id":"Q4286211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$217BF139-8BA7-4F4C-97B3-0E3EEAC3D557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce136cde63f55daf8637ed68bc347ec2eb94c6f","datavalue":{"value":{"entity-type":"item","numeric-id":4268452,"id":"Q4268452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$C8A9482F-484A-4AD5-96C2-635E4BBBBCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a466b0817c40b5226b5f1eb36718a10287acd0","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$A60E6E4E-AECE-4867-AD55-7E9987BDF4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$B0F23EF2-BA60-42BD-94A9-9B0806F8D761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$633F687A-D07E-43C3-A353-0CDFC58006AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa831f2062bd418316f0ddf8d55a39363b94c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1314269,"id":"Q1314269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$4178742E-3252-4DDE-941C-A2E261F33858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da91aee9b91a914d3335ad44bfa5497f94a4ddc8","datavalue":{"value":{"entity-type":"item","numeric-id":1314350,"id":"Q1314350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$2336B686-6358-4E61-8B24-7BBDD6FA5930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7efb136d917ff3e8401a8348f545536d78290273","datavalue":{"value":{"entity-type":"item","numeric-id":1327390,"id":"Q1327390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$16F75ACD-FF22-47E0-A7C3-348B0716E269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706432819f6cf16b1a37d307080a71755ef9cfa7","datavalue":{"value":{"entity-type":"item","numeric-id":1839242,"id":"Q1839242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$B024EF26-1BE4-486C-AD79-901F9BF7C310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1650ec8986b79af49285234bcb3522e3340bd0b6","datavalue":{"value":{"entity-type":"item","numeric-id":3659755,"id":"Q3659755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$62249586-FE64-462E-8576-697EF2B02E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$4CD74BC7-BF5E-474D-A783-DE483637F51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$A58211E3-6FB3-4DCC-A235-3220771090AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324a41917d673f847221adc6e49ee75ed1314f5","datavalue":{"value":{"entity-type":"item","numeric-id":4101795,"id":"Q4101795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$10FC5582-417B-46B0-8CF5-28DF433EF8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeae088c411532f7940546bb53e5a8a76f6e4b04","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$CFB5C45A-93FD-4D26-9C59-4B131DDBFFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$E3F92252-2F35-484D-AF7B-63D8D4854996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$D5DD3381-BF05-4AF6-843F-3729293EB7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$E183D1DA-F583-4587-A6C2-526AEE3EC1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$29468DD4-A24A-4136-80FD-F2A68F250A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b225773fe3bae5d0d1a4a5da3e29136b70567e8","datavalue":{"value":{"entity-type":"item","numeric-id":1322480,"id":"Q1322480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$814AEEFB-D20C-46AD-A9F3-A1BD20FD2FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68dfc4a44943c6fc1906d97837725b5ac79535e","datavalue":{"value":{"entity-type":"item","numeric-id":790801,"id":"Q790801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$D2B34E66-D0C0-421D-84F0-6DED0B9B3FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e2f25b593085008bb89b7f7a78c39c5e0b98eb","datavalue":{"value":{"entity-type":"item","numeric-id":1327395,"id":"Q1327395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$305D8FAD-4155-4979-9634-C9CFD34748D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$CEEA0499-8D69-45D2-8946-F8E8D8719CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$790180C4-1A1E-4F49-8783-4A79EF86173E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672044$A8783C67-A847-4BEB-928C-9F3CE2634954","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0ac0089c5ee17a2983248b38f119c476a16f541","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)80703-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q672044$E557720B-0721-400F-8BCE-52766F727758","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"355b12d243bf8cb95de9431b996f40eb9c0dff04","datavalue":{"value":"W4210461193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672044$083F6D54-C567-4ED3-9C1B-8E0315C9F0FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c3a8a53bb7710efe782a2824ac22999194d1d7","datavalue":{"value":{"entity-type":"item","numeric-id":3007668,"id":"Q3007668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2bbc44d2daa13f444fea112848d4dcd128ad7b","datavalue":{"value":{"amount":"+0.9156036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672044$88A8144A-A86E-4F8E-8D5D-9514EBC5FF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d70834e68ce7634aeae4ceb056fe957684a6a65","datavalue":{"value":{"entity-type":"item","numeric-id":4210114,"id":"Q4210114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a337ef4b7240e7b12d69e82769266c83aa215d96","datavalue":{"value":{"amount":"+0.8950287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672044$3C86044F-F337-442F-B31F-BCC2E6E096C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea29a1076ddda4202bfb5f99b015185b73b3dbed","datavalue":{"value":{"entity-type":"item","numeric-id":5387830,"id":"Q5387830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038fc6e5ad0c98252fc193c4dac6bbec9b6843fa","datavalue":{"value":{"amount":"+0.8789071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672044$B331BEA9-C8D8-4178-B4EE-4CF35624BFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2758127a543c259f405637036145bc5c8d72d368","datavalue":{"value":{"entity-type":"item","numeric-id":3348900,"id":"Q3348900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06478196d44f2e2d90a30a6a741e20a8ac1c3abf","datavalue":{"value":{"amount":"+0.8747335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672044$76F97F03-9B71-4839-9813-91B5EA265020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6036cfaf18e9c4dd09c938069b152227b730f74a","datavalue":{"value":{"entity-type":"item","numeric-id":4923379,"id":"Q4923379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f1d4a01082c9357e496d257ed340ab26697e5b","datavalue":{"value":{"amount":"+0.8683606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672044$F5FC213A-D734-4F12-ADAF-F7A09D9C5351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25425e97ae658b026f39ee4d4377b9b8c7c7eba","datavalue":{"value":{"entity-type":"item","numeric-id":4781523,"id":"Q4781523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f1527cd31f5b1c20b917e446a295090a90fcdf","datavalue":{"value":{"amount":"+0.86740804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672044$430E13A2-A5AC-4A2E-A57F-A4F2AF7DDA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d6545a0bfef02d8b933293c16f065fbdeaeeff9","datavalue":{"value":{"entity-type":"item","numeric-id":2721571,"id":"Q2721571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467f3ab3e3311771006e9992037adda9449f669d","datavalue":{"value":{"amount":"+0.8669861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672044$44A46713-FC0C-49BB-A133-9BFCEAA94A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8114bd16a5697a4fa5bbdd442cc48f0d2e087185","datavalue":{"value":{"entity-type":"item","numeric-id":3791126,"id":"Q3791126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21b5cd9b0e5d5a6253a3d3177aae3b6eb173062","datavalue":{"value":{"amount":"+0.86397636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672044$3C9E9BF5-1CA8-403F-9DE0-916D0960D64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e74cca85fc4912f4fe876b87fd5fffc92c7d14","datavalue":{"value":{"entity-type":"item","numeric-id":1066139,"id":"Q1066139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ec362a8aa2c3c4d3b10da602099c540057566e","datavalue":{"value":{"amount":"+0.8613765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672044$B5B7902E-6D26-4D9F-9659-BC190D34568D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba87b3c94c721bc51026d37a07255e7d4e086f8","datavalue":{"value":{"entity-type":"item","numeric-id":2695358,"id":"Q2695358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c1f7e226b7c5328e0c00fae9260611204f824c","datavalue":{"value":{"amount":"+0.86091316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672044$D67B07BA-E2CE-40B4-869A-4CC039DD146E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Filter models for conjunctive-disjunctive \\(\\lambda\\)-calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Filter_models_for_conjunctive-disjunctive_%5C(%5Clambda%5C)-calculi"}}}}}