{"entities":{"Q2946591":{"pageid":2957311,"ns":120,"title":"Item:Q2946591","lastrevid":44767494,"modified":"2025-11-25T22:57:04Z","type":"item","id":"Q2946591","labels":{"en":{"language":"en","value":"The formal system \u03bb\u03b4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483101"}},"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":"Q2946591$951A6018-0183-4ED2-B495-17847FF215FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33330043292ee85ad6888a6cdf1c72fef85e806b","datavalue":{"value":{"text":"The formal system \u03bb\u03b4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946591$DBCF5C7F-26D7-420E-8C97-45AAF92E6E85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f87ef8226a5a22bdaf7ff51e00080aaafffedd0","datavalue":{"value":"1351.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946591$C4946E5E-9C42-4875-B4E6-E556AFFB795B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"944d036d2ed06f4497462fb0ba03e66c2c37570d","datavalue":{"value":"10.1145/1614431.1614436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946591$584B00CC-396A-4881-93FF-AC9A49EFD3B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f9740203aefff41b182d94540a09e0a78f60d61","datavalue":{"value":{"entity-type":"item","numeric-id":1810902,"id":"Q1810902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946591$4497061D-BAE1-4B71-99EF-3DB5CC89022A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946591$3ADB5360-6F07-42AB-AD9B-FA0710E6B587","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-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":"Q2946591$819E8CE4-B055-423A-BF1C-C3C335716E84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946591$9EEC4050-F058-4958-96AE-72A4D8AA772E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946591$C2D17726-DCD1-4F2D-9EB4-D495035118FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1acbcdc65ded8c79f684d928ce7470a7eaf7ed35","datavalue":{"value":"6483101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946591$924556AB-243A-486C-9AB7-F986F92B5C2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a47dc26debf9f41a391518a79882756a1e850900","datavalue":{"value":"abbreviations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946591$11D3545B-B8E2-4D2B-B06B-72A3CCA2F478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7c81f0890c5e315bc9276985d7f4fa58e16589","datavalue":{"value":"environments as terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946591$50C23663-B056-4DEF-9876-1D42AE842229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d38ff802a4b35207164b492bc743f2c3d67ac6d8","datavalue":{"value":"terms as types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946591$A5628F8A-90CD-410C-B793-4612C3D632D7","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":"Q2946591$3D628006-16F4-4512-9BC0-59A7B424FE1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10a3bcbe8335b4f735f37a552a6e39d12799a9c5","datavalue":{"value":"https://doi.org/10.1145/1614431.1614436","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946591$70021D06-84A4-4BCC-AE5F-039AEA9D22F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1179d7068ee4f30ff121b79c0c2f11e16b46be23","datavalue":{"value":"W2012542922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946591$0480A466-A13B-44D8-824F-AE81A841FA7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f5a0aa81fdeda03ebc6f5253102881119a9e78","datavalue":{"value":{"entity-type":"item","numeric-id":4490747,"id":"Q4490747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a640f8c1b443499d61c1cecb3738925da5a05cb","datavalue":{"value":{"amount":"+0.8704548","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":"Q2946591$ACD22552-04CC-466D-997C-65E036220EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab79c4d67e706fbb671686efe0b6678a4a2f4601","datavalue":{"value":{"entity-type":"item","numeric-id":2752635,"id":"Q2752635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87e90b7a8acd9196479da47a580d2daea8b304b","datavalue":{"value":{"amount":"+0.8492742","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":"Q2946591$1F64ADEF-FC38-4BB1-8671-1212BAA745C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9fbf895ba97115dc91bcea75f3db3a6cd65e2f5","datavalue":{"value":{"entity-type":"item","numeric-id":2750979,"id":"Q2750979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e74fa09e3927e9e4ed000f97c1b1c2ef0d29d8b","datavalue":{"value":{"amount":"+0.83920187","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":"Q2946591$01597182-3290-4E89-9032-C609A460887C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a245eb70918c1664d5e97c567dbbb66f75b3363","datavalue":{"value":{"entity-type":"item","numeric-id":2748639,"id":"Q2748639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe9beecf8c377834fbc8042252b88f96da62487","datavalue":{"value":{"amount":"+0.8296863","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":"Q2946591$E09D3DA9-34E5-474A-AD84-2C30100BB4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8900bc25f9da05642944098ebb058bbe1e7f6e","datavalue":{"value":{"entity-type":"item","numeric-id":2764677,"id":"Q2764677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b328907077a135f876239a4cc0111a3d3d9d50ee","datavalue":{"value":{"amount":"+0.828737","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":"Q2946591$048B5A7E-47D4-46A7-B1B0-D2274E446491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af57d1b5d52715dd1b1c993e2ba2da75ff867e0","datavalue":{"value":{"entity-type":"item","numeric-id":4543325,"id":"Q4543325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ab57653525390e88c1a3ee72f748aa087d78d4","datavalue":{"value":{"amount":"+0.82756054","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":"Q2946591$E9270D01-6459-4667-8DFD-4C0E9CB6D49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2646aba0b8c3ecbc33a5d46a375d4e50a1741ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3586054,"id":"Q3586054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d1b915968f432baabf1528b3e6401fea03dbd7","datavalue":{"value":{"amount":"+0.8183528","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":"Q2946591$A285F005-0E98-43FE-A18F-3A02B509D3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5596095dd99dd684b60d6ccd6f7910efb1630ff4","datavalue":{"value":{"entity-type":"item","numeric-id":3980023,"id":"Q3980023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a140db243ccca7aaeb454cf2eef59e3d9a4ecb","datavalue":{"value":{"amount":"+0.81834865","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":"Q2946591$331EB778-33D4-47E2-B42D-8B4ECD1171F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358be33d25f4e694e9149063a05160a9fd05c45a","datavalue":{"value":{"entity-type":"item","numeric-id":6485480,"id":"Q6485480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c790f6782da35514b5018ebb931da48cec438af5","datavalue":{"value":{"amount":"+0.81732655","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":"Q2946591$D6C22E83-BCBB-4BEF-86F1-1E5C4AEB4647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3936a36819b70ff6cab26a0dbd28d59c477cc656","datavalue":{"value":{"entity-type":"item","numeric-id":2735416,"id":"Q2735416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d6c43e5fcdd72166ca196d6bea6cbf3a7a6332","datavalue":{"value":{"amount":"+0.81625235","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":"Q2946591$434FD728-7DB1-4F51-A71F-8125C108E20C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946591"}}}}}