{"entities":{"Q4922080":{"pageid":6951662,"ns":120,"title":"Item:Q4922080","lastrevid":51725186,"modified":"2026-01-19T17:10:33Z","type":"item","id":"Q4922080","labels":{"en":{"language":"en","value":"Continuous domain theory in logical form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6167572"}},"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":"Q4922080$EB7F4C50-6362-4735-915F-3CB750CC0B1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8ff41c66e9b2fa76d1f2858c873604d1a2579ca","datavalue":{"value":{"text":"Continuous Domain Theory in Logical Form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4922080$F2B23488-A806-4F14-85A3-7480935EA784","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f03c1a1de0bb164d0f1b41f518c4bda50dea779","datavalue":{"value":"1264.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922080$1980F422-2E13-4843-9E17-53D52837E94F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b80b5d54f0aa3951039b685975a7a6bf2c1eba6","datavalue":{"value":"10.1007/978-3-642-38164-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922080$A78C385A-2568-4C15-B1B7-F15480B179D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edf169dfbc83e2cfb9f268c6e1ff4674697c5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":283747,"id":"Q283747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$C99F1AC0-B692-4465-88E1-67052DD70DEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1c06ade732221c5005c80a976fff1f8dba46b37","datavalue":{"value":{"entity-type":"item","numeric-id":4922068,"id":"Q4922068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$0D3C4DC5-A2A2-489F-9A82-9F63EAAA4E5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be15e72bc2ad42a456f9b1c276246000ef49f921","datavalue":{"value":{"time":"+2013-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4922080$5C9DEE04-F4EC-4FCA-9EF1-EF203CCD0470","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922080$C31B1642-30F3-4311-9EFE-7B985E1120D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922080$96263C96-9FA9-4069-9ED3-91283C44D60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922080$434567DE-D522-4014-BF82-22F754665DFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e71a9d3f9b5eed1c5d46e9c8b3e45c928ab987fd","datavalue":{"value":"6167572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922080$33413E13-608A-4A92-A227-6EC21F8D6547","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":"Q4922080$F0B71683-E57C-40CD-B8CD-7DB424814E03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3c83c7318d7e5cef6f8f6728a2dd712a6561f17","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38164-5_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q4922080$05F478B2-40E0-4167-9D12-5FA6775E04E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d057248b39594da2269127a796008d8841edb48a","datavalue":{"value":"W2156304820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922080$EB5736CD-3601-4CF1-8377-716A7A2F3945","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$7ACDCF1D-C228-4D7D-BFDF-18402DC22962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$9F02CD2A-FB6C-4C09-B181-3F5E6385C704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$628BF808-FD3C-4BD6-82F3-9C2F44268FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68c250d398e623d795e5d7b483b44a661237736","datavalue":{"value":{"entity-type":"item","numeric-id":2844075,"id":"Q2844075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$CF5BB133-B3C5-4FF4-A3FA-249A5F1CD285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$9E104CE2-C6F7-4EBE-BBF9-445A96BD27D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$7C86EF6E-8069-4FA2-8A58-60A736F22AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$BFA73AB1-C4DE-4C20-BF09-8225EF504A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e614498f64761ada99b400cb783698b45f6ef7","datavalue":{"value":{"entity-type":"item","numeric-id":4917058,"id":"Q4917058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$46D95516-A593-47D7-8A11-BADEAD81EA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$0C8F5149-F4F6-4782-9B7C-7376E434C69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d5a6f84755ad43a773b6ab5ee14f3400a8f6ae","datavalue":{"value":{"entity-type":"item","numeric-id":4222969,"id":"Q4222969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$243009FB-2663-48A4-9208-DC2AF2CF9549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e01a22ee0a10ef1f04c37189c1f002ae30c9be8","datavalue":{"value":{"entity-type":"item","numeric-id":2844074,"id":"Q2844074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$FD456847-7AFC-46BD-B827-E8A2441F86E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93221e3dd6acd13bed574dc303dc6a692236bdbd","datavalue":{"value":{"entity-type":"item","numeric-id":2577617,"id":"Q2577617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$E605312C-BC75-4FB4-AA45-291CEF8595E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fff07f62b9476b909b4e5e5e42266a85e1a89f7","datavalue":{"value":{"entity-type":"item","numeric-id":554414,"id":"Q554414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$1469E3F6-DCA0-44AD-AFA1-BBB713644E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7829b8e34102836278f3b80e37f72fbf4ea12db5","datavalue":{"value":{"entity-type":"item","numeric-id":3864573,"id":"Q3864573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$E03717B0-3899-4EC7-B096-B98E122ADCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f269966d0539f9c4cddb76338a888c6ba81ac5c9","datavalue":{"value":{"entity-type":"item","numeric-id":4411825,"id":"Q4411825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$72F3850C-82F5-4EBD-92DC-B397E99B6CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$59E08D10-E5E9-445A-969E-5F4FF9873352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$8379B73B-FBF2-4C88-A702-1E02745F01B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe4277615c121681e25d9d93b68a6f0566c8115","datavalue":{"value":{"entity-type":"item","numeric-id":1139367,"id":"Q1139367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$0FB3B6E2-6A5C-4FAF-BF16-7303E153ECBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca39f061f7bb621dac7131279fed7ed70fcac4","datavalue":{"value":{"entity-type":"item","numeric-id":1137572,"id":"Q1137572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$81CCC84F-097B-4631-8A42-393E616E8840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c35efdedf31f460ef4d0153d0733fb5fa9f7c5","datavalue":{"value":{"entity-type":"item","numeric-id":761042,"id":"Q761042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$F4ECAFE5-4B80-415B-B900-A0C8CB6729B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b9668e64fb5e559efd1831f417d632f1180e5","datavalue":{"value":{"entity-type":"item","numeric-id":3316563,"id":"Q3316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$220DDE62-7259-441F-AF8A-18F7B62EC2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3728670c4af7ca2884e08b4c7b79d1fb36dbab","datavalue":{"value":{"entity-type":"item","numeric-id":4024899,"id":"Q4024899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$2EC45E46-E1E0-411D-871C-740BAFFDF393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$944007BF-7D8C-40D7-BBAE-E75A72A19028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922080$4576E16D-7D37-437B-99CE-3FD4E772524B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb24436ab2071f9f3b5787261d87ecd7afd5a92","datavalue":{"value":{"entity-type":"item","numeric-id":4416784,"id":"Q4416784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad856c550aa780c523ee357c7e059ddff85de83","datavalue":{"value":{"amount":"+0.7266508340835571","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":"Q4922080$C8F81703-AD13-44B8-B5D2-132EA793E639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a71e65858d3ea1280a74f6ccebd478efcb4687","datavalue":{"value":{"entity-type":"item","numeric-id":2577617,"id":"Q2577617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08478808cd71ca41738df3d7d05170455072a72e","datavalue":{"value":{"amount":"+0.7247291803359985","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":"Q4922080$8B52E515-F390-42FB-ABC4-96680185C28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a21b840a73bb231150e0a01a52a49c804793701","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022e0d382412908ee21b8d2da95c930cf696e3ce","datavalue":{"value":{"amount":"+0.7215434312820435","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":"Q4922080$399D12FE-616D-4C5A-81A1-2E59122404A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc9093763a1affff82939a36e10c2a0252ee561","datavalue":{"value":{"entity-type":"item","numeric-id":5096332,"id":"Q5096332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b37e6f9ee8c011dbf25af1f4e8d79b5747f693","datavalue":{"value":{"amount":"+0.7204042673110962","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":"Q4922080$6B0253D8-8CCA-43A3-871C-FA2AA03B4193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b67ce11ffe46dc5cb7abf5433a3ca80eeb1ea65","datavalue":{"value":{"entity-type":"item","numeric-id":4829807,"id":"Q4829807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47e8eb8a58156f6ed3053a2d3c20647f2aa3b7c","datavalue":{"value":{"amount":"+0.7008036375045776","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":"Q4922080$FC1BA000-6E0E-4EA8-973C-1C0297004C2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4922080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4922080"}}}}}