{"entities":{"Q698623":{"pageid":700472,"ns":120,"title":"Item:Q698623","lastrevid":63606390,"modified":"2026-04-11T14:18:05Z","type":"item","id":"Q698623","labels":{"en":{"language":"en","value":"Forcing in stable models of untyped \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1803683"}},"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":"Q698623$05FB709F-9A68-465E-A03B-C26401C5FC0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b808708b86b1914f7c43bc8183572137b46598c","datavalue":{"value":{"text":"Forcing in stable models of untyped \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q698623$88AC7D90-DB03-48F2-BB2A-D2E1BCF0788F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a88fcd1b3261279809ad69201cf423302dbad689","datavalue":{"value":"1025.03503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698623$87298E35-DF45-4C87-8AAD-936279EB34DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6046cad9475b544ba70320b5948853f3130fc94f","datavalue":{"value":"10.1016/S0019-3577(99)80005-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698623$5A07AA64-01C1-46FD-BCA4-272525EC9486","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"201ddb3ef9ba2b1e09d8c8b0d7f7d7a4deb45f0a","datavalue":{"value":{"entity-type":"item","numeric-id":236443,"id":"Q236443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698623$5FBC0E5D-58AF-4930-B2C6-10C74B50F734","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698623$1F744FAE-8468-4CCE-B982-3D4E1597CD2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2e0fdb3e4c16d994bf6f5d504c6aa80c971ee86","datavalue":{"value":{"time":"+2002-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q698623$3CE9334E-E6B5-4CA6-84C5-79B1A18B5129","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698623$EFD96441-7F19-4DD7-ACDF-1631F074DD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698623$6BA61A65-8765-40A5-87F3-65C7A45D480F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698623$C446F2EF-44BC-4D8C-AF5A-9A61B9AEF80C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"deec7ba8589c3c4d515b9178f8ee789ad1c65ae9","datavalue":{"value":"1803683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698623$2D912AE4-53F9-495D-87D2-7C305EAA0BEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f14e2f3db707b6a727613ed85f9a51af4c8df69b","datavalue":{"value":"untyped \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q698623$65048335-0DA6-437D-949E-DEBB899D328C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q698623$F61717ED-939A-431E-98A6-56CD37C9ABEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f330fb0a96988399b2cad6e13eaac2b7823f0d","datavalue":{"value":"stable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q698623$A4D47BE8-05D8-4536-83B4-879A9E57CDF9","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":"Q698623$5C80592D-C2AA-48B5-B5D1-90109565962D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4f6773fb1d7dcfe9dddb68be9519eaeba7e70","datavalue":{"value":{"entity-type":"item","numeric-id":3206926,"id":"Q3206926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698623$E0B05270-20AE-4ABC-B822-8A34EA68E513","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":"Q698623$840276E0-38EC-47E8-8BD6-A9325B20B4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3135ff454a54abef92b5c00b90dd826ed4b39fc","datavalue":{"value":{"entity-type":"item","numeric-id":805221,"id":"Q805221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698623$AC0E24CC-FE86-4D49-9E68-42D8AD20A2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698623$B703EBFC-3600-4E4E-905E-AF7C9ACE0779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698623$5B3B7994-FC4D-4E1E-BF9E-A4E2CEC72CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ace66fe0c4cd62691edd231304d8897fcb4d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4128535,"id":"Q4128535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698623$FEE91ADB-C738-41D7-822F-37DE2BBEE2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b7ea7417ee62cca1f518b6b70dfc184a81f5598","datavalue":{"value":{"entity-type":"item","numeric-id":5958611,"id":"Q5958611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698623$C0C20771-8D40-4016-81B9-972BC65C76C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698623$190E51EB-7E10-4619-869C-CA12B856A36B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5096051ec20ac867655c8ecadc3f9d33edc4fec1","datavalue":{"value":{"entity-type":"item","numeric-id":5958611,"id":"Q5958611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5239d3ffe9e62d8941d9e5fdad92fca8bebb9e1c","datavalue":{"value":{"amount":"+0.8219601511955261","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":"Q698623$33D3C60C-0699-4FEB-B7AF-8910D2FEFF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b79f31a9aa15e9f0e8aa978ed9a3a4a3b49601","datavalue":{"value":{"entity-type":"item","numeric-id":3221959,"id":"Q3221959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aaf40e71b205cf4349e17fbb9683d4ba44de03f","datavalue":{"value":{"amount":"+0.8196983337402344","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":"Q698623$54649EE3-811E-4AC3-B30A-653218490428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae7ceb1b32ef1077339a01202d075efb4bfeda4","datavalue":{"value":{"entity-type":"item","numeric-id":2368937,"id":"Q2368937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea989b9b8b8197120879f0f2dec9bc9c73810e07","datavalue":{"value":{"amount":"+0.7819077372550964","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":"Q698623$F5D7CF33-413C-4D39-B8B7-63D864B29C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63001cfdc0106cfa5ad69b1242ee93419d2d4158","datavalue":{"value":{"entity-type":"item","numeric-id":1125063,"id":"Q1125063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97050d3030c2e1a13cabc4054ef8a9ed0824d34","datavalue":{"value":{"amount":"+0.7782147526741028","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":"Q698623$A375980F-6C43-4930-A116-677BA9F9DF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37827e46ff4f4975a87a25a10e14cb616c1c40e3","datavalue":{"value":{"entity-type":"item","numeric-id":4886631,"id":"Q4886631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15629f343615591e438800a8efc65981abae5398","datavalue":{"value":{"amount":"+0.768021821975708","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":"Q698623$1D0E1E25-29B9-4D00-B5B2-0D2647A22C71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forcing in stable models of untyped \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Forcing_in_stable_models_of_untyped_%5C(%5Clambda%5C)-calculus"}}}}}