{"entities":{"Q476117":{"pageid":477884,"ns":120,"title":"Item:Q476117","lastrevid":62154846,"modified":"2026-04-11T04:07:57Z","type":"item","id":"Q476117","labels":{"en":{"language":"en","value":"First order \\(S4\\) and its measure-theoretic semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374923"}},"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":"Q476117$A86AE50D-EEF3-4519-8CC6-E8B7E6824D34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dea85cffe2046d2ad603cc3e600456021f61bba9","datavalue":{"value":{"text":"First order \\(S4\\) and its measure-theoretic semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q476117$22C321EF-8A88-4259-92F2-BA6BE2C15F4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f78e2e733901c6a33ab70bf6e22f4071cdf1453","datavalue":{"value":"1369.03104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476117$10D1C35F-5C32-479C-A8A1-336F3260922D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad7bbf5b29e21d6c8f68ed042dc8216c9cc5564a","datavalue":{"value":{"entity-type":"item","numeric-id":427237,"id":"Q427237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476117$0619317A-7306-4B69-8DF0-978AE8C215D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476117$59E850EF-7F04-4303-A0BF-7E3564370474","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d71c537fa104c737c45b84947206ae8eb89f9f4b","datavalue":{"value":{"time":"+2014-11-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":"Q476117$2C36303E-0C2E-4DF4-AFD3-B3A6684F64A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476117$A8A70ABB-C2AF-46DC-B946-E09A5D122461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476117$9274146D-9E0C-4E39-9DC1-D8B3B9EE687C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476117$4D21AD56-6385-435E-86B1-934031F561C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b228c9ee3c97685ba8b4fbcb638c637eaa9c7ea","datavalue":{"value":"28A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476117$F30C17B3-E0CE-4848-813F-ED5F2FB2B6A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f9bcfa07c83abf4c19f5d8977b2d429bc1f9309","datavalue":{"value":"6374923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476117$3572689D-BDF4-4D97-9239-D6A54947BD7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q476117$80C4DD36-115B-47C8-8BD1-2761884C22A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q476117$A9F8A77A-8F68-442D-8472-BF4547BFBC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a77ed2ad6149aeffac372f6c94d9ac5d6534beed","datavalue":{"value":"\\(\\mathrm{FOS}4\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q476117$19E35200-9A7B-4B81-898B-BC1E2CF4CF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q476117$A62C75E4-D3DA-4228-AAB8-105982249534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q476117$7B87DDC8-40A2-4619-A8D9-0BDDC0F4A153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c78731faba245cb7ee59fb59e46225c9504edd7","datavalue":{"value":"measure algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q476117$B8D02F40-F38E-4442-BFFD-45AB0B8E61AA","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":"Q476117$5C988288-24C8-40E8-AECE-930526CF7CF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57364d2d5fbb8c41584ee195c6619a51a9c1b7ab","datavalue":{"value":"https://doi.org/10.1016/j.apal.2014.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q476117$DFADC6EA-8830-4FE9-A712-E6F52FCF6BA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c86f4a83c923faf281c77894c600a7e19e6e652","datavalue":{"value":"W1996784100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476117$7837FF33-E4DC-4034-A8E7-C0EBD9952210","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5424301ac1ead41d6e8b6bca6af6c50f2da734a5","datavalue":{"value":{"entity-type":"item","numeric-id":3580665,"id":"Q3580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476117$0AFEBC99-13F8-421C-9001-2FE89B666B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a9b3414862812220af9a8d6168f428ec8b3eef","datavalue":{"value":{"entity-type":"item","numeric-id":5419867,"id":"Q5419867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476117$BDD918F9-EC18-4159-94BC-BE4EEA805863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d481fbb1e3a1bd14d7acb12b83e08706c7a5b114","datavalue":{"value":{"entity-type":"item","numeric-id":2904049,"id":"Q2904049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476117$30D8CD08-A471-4656-836E-C8BBBE2031C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753056d26ab5c133f0c397bee997f1eecc1da9e4","datavalue":{"value":{"entity-type":"item","numeric-id":5402239,"id":"Q5402239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476117$A0155FDE-2A55-420A-ADA5-01CB63DDEE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c8e7c810a525b02adefe0ae966e0b6fc4bfe812","datavalue":{"value":{"entity-type":"item","numeric-id":2940883,"id":"Q2940883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476117$A8E30858-C7B1-474D-928B-F13B618F7C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ee5233d800e10e19c7ea99bc854ceb79aefd5b","datavalue":{"value":{"entity-type":"item","numeric-id":427238,"id":"Q427238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476117$08BBC763-983D-466C-B92A-E8CFBD0620BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eed5c14623c967295dc91ede9e163fd80ce3e44","datavalue":{"value":{"entity-type":"item","numeric-id":714709,"id":"Q714709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476117$6F895E81-DE9D-4A89-B7EC-83E7CA322F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476117$0E1BD674-B0BE-4619-AF4B-5AB0D2467FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476117$3B636098-191D-49A2-B74B-0D8B5D4F9302","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"362ae45973b41982e97d5f1d088fe499d1926817","datavalue":{"value":"10.1016/J.APAL.2014.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476117$95FB7C33-36D3-454A-9E92-ABA841FC2384","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e119d8c9f2b67c219052fc4ad55dd719a774e5d","datavalue":{"value":{"entity-type":"item","numeric-id":427238,"id":"Q427238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2144b5815bbe130b249b39b1f483ed9bb9f16b27","datavalue":{"value":{"amount":"+0.8045466542243958","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":"Q476117$BA9C0BFB-5C54-45B4-ABF7-916EF89E31D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b00f56d3ca378d240a9a21841edef2362a5a54","datavalue":{"value":{"entity-type":"item","numeric-id":2904049,"id":"Q2904049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ce9512ff7372a9b0a2fd1c3e6732e79b5d6955","datavalue":{"value":{"amount":"+0.7803083658218384","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":"Q476117$2F7D8BFE-94D4-4359-B0B3-DFE92C074764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe2994458254ed292d931cc7fd84361e1922114e","datavalue":{"value":{"entity-type":"item","numeric-id":714709,"id":"Q714709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98e69ca8997d1d1aec6c69bb27bf5e06cfac2be","datavalue":{"value":{"amount":"+0.7792582511901855","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":"Q476117$A2316880-946C-4454-B9DA-8BF31FF4CDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d527b5a13e0db7aad41f7d03ad8b97643bb123","datavalue":{"value":{"entity-type":"item","numeric-id":5737960,"id":"Q5737960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda3a964fbf13b73cb399531c1799f73a3518a5a","datavalue":{"value":{"amount":"+0.7747958302497864","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":"Q476117$6103D04A-D404-450A-9B02-327BC301EB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85001b2ea67fe9f9d4fd106a9623a9412dfffb87","datavalue":{"value":{"entity-type":"item","numeric-id":5419867,"id":"Q5419867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111e1651c441fc0797323500a081d549cb98d191","datavalue":{"value":{"amount":"+0.7733244299888611","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":"Q476117$44307B56-4086-4CAD-89BB-685461B8C8A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First order \\(S4\\) and its measure-theoretic semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First_order_%5C(S4%5C)_and_its_measure-theoretic_semantics"}}}}}