{"entities":{"Q4635893":{"pageid":6665474,"ns":120,"title":"Item:Q4635893","lastrevid":53070878,"modified":"2026-01-24T04:11:13Z","type":"item","id":"Q4635893","labels":{"en":{"language":"en","value":"The definitional side of the forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863506"}},"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":"Q4635893$9BF585F4-1E56-4096-A79B-383F7587737D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5c2cf1281a16dfa925ba15bbaa95cc4cbe1ba9b","datavalue":{"value":{"text":"The Definitional Side of the Forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635893$558F94C7-8193-4828-B203-C5C4997E5D3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0539752782f3b636682131925071450619b9da2","datavalue":{"value":"1394.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635893$CF6EB97E-2E8F-407D-9A82-B534F1308345","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e847bf7ce2fba2dd4a860872d8a04c5310c0b80","datavalue":{"value":"10.1145/2933575.2935320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635893$AA615EEB-B6D9-48FA-8DBB-8A4732153230","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e0832f544dffd08fd3e830a309d037a114ba169","datavalue":{"value":{"entity-type":"item","numeric-id":1652963,"id":"Q1652963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635893$69BF0818-7A18-4F66-B6B9-DC567BCB1723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f6d5d29f66b74eb92d2a542d67bd3817532ea5","datavalue":{"value":{"entity-type":"item","numeric-id":4635892,"id":"Q4635892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635893$75184D42-D331-4824-896C-1D8AF9C984CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc41d0e76ffa6ff7041ee6fd8d06b5a6f8e90a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2323975,"id":"Q2323975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635893$84A909FC-398D-44DA-9E8C-4ACA0142CF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9414558f268ee594724569b856f23c96f190f01","datavalue":{"value":{"entity-type":"item","numeric-id":1791139,"id":"Q1791139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635893$03BBB46E-AE9B-4A54-995A-0E239587182E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f7519cb4a1f2077b5761baeaf0abc45060a0b93","datavalue":{"value":{"entity-type":"item","numeric-id":636302,"id":"Q636302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635893$5289D407-674F-4ADA-9023-24FE3DCC997A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635893$3497E45C-1D5A-40C8-B15D-8F83C73FCFC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635893$D53AEFD5-69F4-4D4A-948B-69BE2E683EB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635893$4A225601-3284-47B5-A5B9-824E80524DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635893$9B95A42A-CE29-431A-ABAF-80FBF619E966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635893$0E5CBD01-3B62-472F-8CE0-032E7E0D6607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635893$D9F4ACAF-C128-4082-A7AA-F91D6182C3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635893$1E8FC7C1-9DCD-45F4-B305-16C1348E0FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635893$911C9E98-11FD-471C-8566-05C6F21EBEF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff7aba7160db42653cf8fcea4b6d3f72adc1c7cc","datavalue":{"value":"6863506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635893$73954ABD-500D-42C7-BF93-31531EB8A0C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635893$7ECFE5D4-AA60-4EFE-8239-8ED40AA392A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635893$7D359190-9529-4F6B-B78F-3F2D29B5B5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b469e5b132ffbd46d5b178b22d2c93673a66eab","datavalue":{"value":"effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635893$4D5476FE-CC4D-400B-9C6F-590DE0390862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635893$C287AEBE-DD3E-4C29-8E0A-6969F81CBD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635893$E4E23AC6-561A-49ED-AEEE-F53A6FB38BE7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635893$868CEE66-489B-4407-8438-03DCC179F226","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":"Q4635893$DA63C465-E132-4178-9281-6FFFC6310212","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2284497187a432762f099b8e25b538babdef5ac","datavalue":{"value":"https://doi.org/10.1145/2933575.2935320","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635893$4358A78E-32B8-477D-9277-8433F197E30F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"796f0d873d7ccf54b4d3fb9b95c151c33cc03cd6","datavalue":{"value":"W2411119043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635893$0FC4AC7C-3F55-4D17-B857-C9B0C5F4D33A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba2c89852dfb38de2253935d85fb077fe5fbae9","datavalue":{"value":{"entity-type":"item","numeric-id":2986815,"id":"Q2986815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6916fdcae08d8c7123553b6a168b77f79991376","datavalue":{"value":{"amount":"+0.8213187456130981","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":"Q4635893$B406F3AE-EAC7-4DEC-A1EA-5DF3D2C48B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ae5b64b5cb783f35831634a9381a944e7d1697","datavalue":{"value":{"entity-type":"item","numeric-id":5253929,"id":"Q5253929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2081cc72ba8273a841519273fa6bb36ba343bc","datavalue":{"value":{"amount":"+0.750278890132904","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":"Q4635893$E3DC6C47-F3CA-4047-B702-F36D4357C125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e91d888b20b1350fd2708476d5e3c86802fc7d","datavalue":{"value":{"entity-type":"item","numeric-id":3065010,"id":"Q3065010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ce4942c40d6aa62bfcb01cd39a77c394aeaad5","datavalue":{"value":{"amount":"+0.7343932390213013","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":"Q4635893$61C1180F-6519-49E3-802F-21E3F6F56475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0d301ab2b69bb65a6a62f41831f0078487499f","datavalue":{"value":{"entity-type":"item","numeric-id":4499226,"id":"Q4499226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548b6b2b2b6a481726eb70d14cd0fce009dbcdb0","datavalue":{"value":{"amount":"+0.729429304599762","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":"Q4635893$7FA3AB1F-FABF-42E7-8E3C-9BE104D5EE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64430f2f2bf07ae789d0daa263a5ae4a6c7776cb","datavalue":{"value":{"entity-type":"item","numeric-id":4678943,"id":"Q4678943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5255922611b79d4194ace21d41dc6adbdb689ab0","datavalue":{"value":{"amount":"+0.7225985527038574","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":"Q4635893$5C16D094-6F27-4374-AE01-D7F186172E9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635893"}}}}}