{"entities":{"Q3787973":{"pageid":5817879,"ns":120,"title":"Item:Q3787973","lastrevid":52813256,"modified":"2026-01-23T13:42:29Z","type":"item","id":"Q3787973","labels":{"en":{"language":"en","value":"Clausal intuitionistic logic I. fixed-point semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051561"}},"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":"Q3787973$7AB12601-28A8-43D8-8C5C-9D567E32518D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eca627025b3fc2e2900c91379010ee8331d9d082","datavalue":{"value":{"text":"Clausal intuitionistic logic I. fixed-point semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3787973$30C2E2AB-80AB-4542-80D9-1C28AC8FE6AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"076e7de1e8a241036ec05f5c8fe1a134ee685fe4","datavalue":{"value":"0645.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787973$684E03C8-3A6F-4ACA-BEBC-EBB52ADBCC23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a727015ec7b56304a609139866e12673204ff5f1","datavalue":{"value":"10.1016/0743-1066(88)90005-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787973$B08C0CFE-5801-4C36-A758-BF996DF20482","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56e6e004da96d2a6349a9d22f29889cf13b7e987","datavalue":{"value":{"entity-type":"item","numeric-id":3787972,"id":"Q3787972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787973$F132A809-35B5-4931-9A39-EF2F05264929","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787973$1BC87558-7232-4096-AB71-5639F106BE1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3787973$7613B665-6900-42A6-9F9C-60441A30830B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787973$72BB875E-1334-456C-822F-29F1C11DDAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787973$3BE12B85-7635-414D-A810-8815DFF208D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787973$E55D125F-F7E7-41AE-8A08-9C588EDE9CE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"157f0108c6bfe2f815250d44eced2f38a2d6316e","datavalue":{"value":"4051561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787973$CBD0A549-CA36-4A9D-A74A-272DFEEEC4A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787973$4112665C-9AF3-465C-91EA-0A96CBC98F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"780f110f69548a4efe0b2e7baba94b6cc741d9c0","datavalue":{"value":"extension of Horn clause logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787973$729E7B1C-F59E-4DC6-9417-B8FE4FA69410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c91bf8dfd17a8b353eddd6cc7f6a4eb12597ae8b","datavalue":{"value":"intuitionistic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787973$977D0056-D642-44AA-8B05-69B18CABF7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36f41659f406fe5e6141df559369fc6476249c0","datavalue":{"value":"fixed point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787973$F1DC23E6-A7A0-4CE4-BC80-686B16FCA989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3cbed40cc4e039eabe9f986e756644cdc7c8cd6","datavalue":{"value":"model intersection property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787973$4395A268-50FC-42C7-9EA3-1EC119C7BC24","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":"Q3787973$B3B473DF-4E2F-4BE6-A704-EB1AF12382AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f57e29c87f79170819b2f4ce583178725a21f07","datavalue":{"value":"https://doi.org/10.1016/0743-1066(88)90005-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3787973$82F65320-B56C-471E-999C-6EADE81B3074","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"676f98ed8ced9e418373cb4de7ae959caab9793b","datavalue":{"value":"W1986404405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787973$0C59C053-75C2-455F-9A21-E5E5857C0723","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a33463eb721bd0235829cc7d020753a2cb3f15","datavalue":{"value":{"entity-type":"item","numeric-id":4730754,"id":"Q4730754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fda302362f306732910065f8e624ddcbc0ff919","datavalue":{"value":{"amount":"+0.8208816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3787973$120E3758-8F84-48AE-983C-0E31D7F62AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a44cf88042cc60399a964724dfbc264af74141b9","datavalue":{"value":{"entity-type":"item","numeric-id":964389,"id":"Q964389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd774b8cc4b5ef679333934891f16c5f4994d5a6","datavalue":{"value":{"amount":"+0.81208545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3787973$E80FC832-BC79-4CD5-ADBB-813FA391065D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccaf7d5b4da7f31fc4678a7003286fac725c6189","datavalue":{"value":{"entity-type":"item","numeric-id":4275263,"id":"Q4275263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913714479b5c628b2e5989def0a6f9c361285150","datavalue":{"value":{"amount":"+0.7949662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3787973$017C2378-556B-4904-BCC2-9E4C25CBC63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268b6ea4d6cc9d72949b13664da393fc8089d860","datavalue":{"value":{"entity-type":"item","numeric-id":1079941,"id":"Q1079941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b63a61e8ec3435c203319e2057f9ba78b2e824","datavalue":{"value":{"amount":"+0.790364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3787973$923CAFE4-B72C-476F-9396-E380BF0E3ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e92dd7c17c8b45b7031edd800ef7e1de5bd67c","datavalue":{"value":{"entity-type":"item","numeric-id":3355243,"id":"Q3355243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c51675868f669e19f768c26a3a8d118d665cd64b","datavalue":{"value":{"amount":"+0.7883567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3787973$6F567278-AEE6-4504-B696-C17F0028EF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f1031a45b4cd5f7e3350daff411c86ab8841d9","datavalue":{"value":{"entity-type":"item","numeric-id":3210889,"id":"Q3210889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d5583b6681ea4c4565f05c018410494d2054e5","datavalue":{"value":{"amount":"+0.7831248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3787973$B1A0AF68-89F1-406F-9535-BBB576D713A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f61cb852e8cf551bbec9a32022c4357917555d","datavalue":{"value":{"entity-type":"item","numeric-id":5492873,"id":"Q5492873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93f31ee1febf90480522ebc483b35380e6f8d4b","datavalue":{"value":{"amount":"+0.7823394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3787973$E14518C0-EA02-4B50-852A-92F0684F95B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef7c9abfa574d2e2737a98c2950b91f83c13688","datavalue":{"value":{"entity-type":"item","numeric-id":1188837,"id":"Q1188837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37768766fb202d941e2f267915e0e502c1a36b01","datavalue":{"value":{"amount":"+0.7796776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3787973$E88763A2-18E1-43E2-BB9F-967080976AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe0ccff608c308d97ca0d6ed07cfc0f9dd5bc68","datavalue":{"value":{"entity-type":"item","numeric-id":1181715,"id":"Q1181715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff69ae9896aa91cda4e5f89016aa04b9e2a2d2e","datavalue":{"value":{"amount":"+0.7795676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3787973$B37D17F8-0E9F-463E-9E64-749545A56682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d67c3f840645caf7ab1e8f4a31ce81f55f522f","datavalue":{"value":{"entity-type":"item","numeric-id":3782842,"id":"Q3782842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527c76e24a1e3ea6e28133649af38bc28ca9f998","datavalue":{"value":{"amount":"+0.7761982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3787973$6434B62A-C439-4342-A1A1-BA7AC71A11F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787973"}}}}}