{"entities":{"Q3789060":{"pageid":5818966,"ns":120,"title":"Item:Q3789060","lastrevid":52764185,"modified":"2026-01-23T11:10:29Z","type":"item","id":"Q3789060","labels":{"en":{"language":"en","value":"Logic and Computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053006"}},"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":"Q3789060$3880FD39-84E4-4E25-9119-E6F39675DB27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b951dde3e8c6fac8bc6326382cf542075b6ad58","datavalue":{"value":{"text":"Logic and Computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3789060$706007DB-CD2E-4C35-9C7B-C1FCCD89075E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"011bf250fba840da37da7c3488aaf5da2c715837","datavalue":{"value":"0645.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789060$5F038BF3-F1F1-40B3-BDB4-0833063948C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2716e552fe7f3b171c316277a3ee308c264b7c21","datavalue":{"value":"10.1017/CBO9780511526602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789060$668FAD07-6C75-4756-BCAD-E941ABA07B37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3789060$1AE516FB-F299-4F8A-8490-1BF3DEC4B8E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789060$F5708AFA-F646-4FB1-A842-4C28B05CCC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789060$DA7C0A16-135A-4C98-A883-422F1AD3A456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789060$78ECCFC1-26C0-475B-967C-BA58975FB02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789060$92369B36-95E3-427A-A014-1B2B8B195D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789060$785B25B0-69CD-443C-AF30-6745F18337CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789060$0220CEF1-2D9A-46EA-8EB3-23940A1D5826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789060$E0BFDE1D-806F-4A75-9B80-D880D773575E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789060$BB07F9D6-7206-411B-949F-A746D8FA8EF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"406f3785aa323067f2b0533be44a5c2da2ef3499","datavalue":{"value":"4053006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789060$B8949C09-EB74-4A79-8DE9-B122FA2073D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789060$AF24DF4F-F6E2-4E4C-98FB-CF62E5EAAC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b6bd45c06b4299a242d393ab3961915f533db5e","datavalue":{"value":"reasoning about computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789060$EC55CE7F-90A4-4366-AF89-A252B5C5C5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789060$7600FCDF-2DE9-4281-816E-D2586A55B65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789060$C9F0480A-8C53-4941-8DE0-CAAD5D564352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b0b1f4b596bfeb043985b73f3a152aa4aec1d6","datavalue":{"value":"recursive domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789060$03ABCED1-64D7-499B-971E-F443612E88AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d105da76eb797ee19a6f71fa92e9ca5cdae28179","datavalue":{"value":"Cambridge LCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789060$AD737BB2-E88C-423A-94B1-F3BB9D643DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a810d44d0f4ba58117281d810fa0845f6b9a5426","datavalue":{"value":"PP\\(\\lambda \\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789060$D4ED53EA-FE78-4FD5-850D-AED7F04FE239","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789060$97AD07D7-760E-443E-850B-6A2E525FC10B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789060$F0B22EE5-7E84-4346-B823-04ACCBEF4923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789060$69253EF9-76E9-4AB8-A9C1-76315124CB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789060$4C67AB8E-C390-42FB-A409-18A5143C5A38","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":"Q3789060$2D37AAD6-65FC-40B7-A6D5-85EC7448859E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2ccc4309dbc93ad581382fd32581c02cdf65e386","datavalue":{"value":"Q57382737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789060$13E0EFC8-EA41-42E3-AB14-4D73504C5FCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"096be94b10e6484547c897ae646392a2160d14ad","datavalue":{"value":"https://doi.org/10.1017/cbo9780511526602","type":"string"},"datatype":"url"},"type":"statement","id":"Q3789060$4C28D92B-D830-4AB4-96F2-AF6D86E062F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68e0818d8adf324d9a6c6ccfe8e99df2e1539a3e","datavalue":{"value":"W4246059478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789060$91C07D3E-9C0F-4056-9D80-2AA3BA4C669C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bed460f6ece729df542c05a9adbff173fadef2b","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26113f07bfe86e37bb78651912f404d551e64a70","datavalue":{"value":{"amount":"+0.7814490795135498","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":"Q3789060$E426C29F-F803-4135-8F14-8FCFE6F99E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66028ed110b764d169acf56766b836ac582835e0","datavalue":{"value":{"entity-type":"item","numeric-id":4559535,"id":"Q4559535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e4a2d58214f875a8b92f0a6a5daf3fa0c3b7dca","datavalue":{"value":{"amount":"+0.7763132452964783","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":"Q3789060$EB8BECA3-D541-49D9-B028-190B825C3C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab4749f335d0af7e37202df27bd35f2484492f84","datavalue":{"value":{"entity-type":"item","numeric-id":1627457,"id":"Q1627457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf8054b41ee741725ec28100060bfe8d4f3074d","datavalue":{"value":{"amount":"+0.7733145356178284","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":"Q3789060$22D7D663-7A61-43A1-96C6-9F715F3E9101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100178c2235a4ac39db9f8fba237cc897c7bbd3a","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bb8c070752303ae099f658b9fd0f61254efde4","datavalue":{"value":{"amount":"+0.7689626812934875","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":"Q3789060$33C07892-7D01-4AC6-A6AC-210D3E6F9059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94c48ee8f14b5f9e403cfb12d46fd76e48994b3","datavalue":{"value":{"entity-type":"item","numeric-id":5364939,"id":"Q5364939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0767aacb5cf5feca8115f7dfdc7cfb1efbf37cf6","datavalue":{"value":{"amount":"+0.7599350810050964","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":"Q3789060$AD391E30-E393-4EE2-AA55-F1E048A0CBBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3789060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3789060"}}}}}