{"entities":{"Q4583172":{"pageid":6612757,"ns":120,"title":"Item:Q4583172","lastrevid":53185700,"modified":"2026-01-24T10:14:27Z","type":"item","id":"Q4583172","labels":{"en":{"language":"en","value":"Modal logics for reasoning about infinite unions and intersections of binary relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6927948"}},"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":"Q4583172$80323A24-D29B-4610-BB24-8AB315B355FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cca6ebd08d6d0cf8904a787b99f640240f972bf","datavalue":{"value":{"text":"Modal logics for reasoning about infinite unions and intersections of binary relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4583172$FC45377E-F9DA-4B88-A197-A53395DB96FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cfef77ae805518b0c8fe6461501259368a0be35","datavalue":{"value":"1398.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583172$AB80B399-410C-44E2-88E9-DC33FE57B0A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"907bc7bd6debc6c7ef6aa0810ae69be5342e8824","datavalue":{"value":"10.1080/11663081.2012.705960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583172$AE5D445B-E68B-4F91-A125-4FD699AC46C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06b9d3e98376955f4f1468110c0445691894ccd","datavalue":{"value":{"entity-type":"item","numeric-id":208223,"id":"Q208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$AFFEA8AC-FC78-4DF4-8D3A-755ED35B9C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$01056918-6FD0-4651-AC4F-DF654D0852C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73faf7a6e2f59746a2f1227234196c68fcf7d40","datavalue":{"value":{"entity-type":"item","numeric-id":1623149,"id":"Q1623149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$F82CA403-CAC4-41DD-AD83-E4BF2FF068A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$1FB318B2-FD00-4AAB-8A91-0693C132E47E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1a7e956705fd1b7f7e3c263c8e7183d11ad0ebd","datavalue":{"value":{"time":"+2018-08-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":"Q4583172$0689ACC9-B567-4A07-A7F6-74AE8F42C7F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583172$5D97E41B-4507-416D-B37B-EC885E7C832D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583172$F68ED92F-C676-4E61-988C-D57C9827F12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583172$C3CA09A4-0AFA-4A80-9ADE-51F19AFDC5AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70116776a95008973f5247bb07d7af2c57aa58c6","datavalue":{"value":"6927948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583172$36363834-C287-46AB-95DF-456706CE8DD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583172$6CFF4048-998B-43AA-81F7-5950B1D6BE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e04b985a3117a8ce87fed5ccdef219dd40510e0f","datavalue":{"value":"infinite intersections and unions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583172$C1A12E7A-B3E4-4DC9-B369-C68B3902954F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42add9694273fcf9f5c36b120730ac4756fc4b97","datavalue":{"value":"axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583172$6C22A9D8-6F4E-426E-9338-81C93041F0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05bdd07461d09bc38695333a1cd0618fef804a5b","datavalue":{"value":"filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583172$EE01579E-C35F-4078-BA25-26F667DE5C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f08d2cbd98ff1b665969da1b2f210f69faf8e3","datavalue":{"value":"tableau-based decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583172$DA6ED892-5A4D-4D72-B19B-EA9669F01D51","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":"Q4583172$4F4210A8-0504-4723-AEDA-D4FC696980A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0049a5519951f63f8fdb1e3cd6376d7ea46954b8","datavalue":{"value":"https://doi.org/10.1080/11663081.2012.705960","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583172$4E06CA0C-B5F1-40E6-807F-67C2BF927C1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9da9db839b06cf36e4ff35af65b821b4ab246f38","datavalue":{"value":"W2062671167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583172$49EAC238-28ED-42D5-B62F-9C1A7A10AF36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"322fef1c73e6fe26b9a2ddcd98c8be8aecf117a9","datavalue":{"value":{"entity-type":"item","numeric-id":4812322,"id":"Q4812322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$80781135-56F5-4D5F-8022-0EC9769C46E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03618d96b18c1c31ce42cdae2a51489377f17ec7","datavalue":{"value":{"entity-type":"item","numeric-id":3509043,"id":"Q3509043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$A1EC1D9E-1831-40FF-A1CD-3FD4648F79D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e23100ee15abd5423a393a8fc786da512b3eb97","datavalue":{"value":{"entity-type":"item","numeric-id":3643256,"id":"Q3643256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$56F478B9-9425-47C9-8DCD-A78461795CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad21928bd542446f4dab874e018db82a98381684","datavalue":{"value":{"entity-type":"item","numeric-id":1839245,"id":"Q1839245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$BBA0B767-6710-4F84-89E3-57EEE4801A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$08ED3955-AE52-4C27-97F8-3F00FFAC61EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b4b0209c74c5d7baea41c1bf0a2599eb0bc248","datavalue":{"value":{"entity-type":"item","numeric-id":5479274,"id":"Q5479274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$D07D7120-A78E-4949-B9D9-007970FA5F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$0D41255B-F046-4448-B05F-C9DCE4BA9515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$753E7922-7B50-4E00-88F9-C8AE13620C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b07300338fa589e0d13797c392f9165b28e0bf4","datavalue":{"value":{"entity-type":"item","numeric-id":4430407,"id":"Q4430407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$F8DC21D6-B2C7-4165-9CC4-565B7996C849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a367e15e40fb312874501f15d87e86df65678fd2","datavalue":{"value":{"entity-type":"item","numeric-id":1610669,"id":"Q1610669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$64B0CFFD-322C-4016-8D4C-9E36686FFBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15e03b1bd4f5de239a8f993324ec6e140ba8c88","datavalue":{"value":{"entity-type":"item","numeric-id":4020488,"id":"Q4020488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583172$99233224-547E-466C-AAEE-20400CAD0011","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6ee63528f5d0c5abb4ab8346873fe020eea0ec","datavalue":{"value":{"entity-type":"item","numeric-id":3365458,"id":"Q3365458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05912dcf58d5ff06c78d40c736dd4c698cad4153","datavalue":{"value":{"amount":"+0.7524396777153015","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":"Q4583172$C62BCC1F-AAB8-4AF6-B52E-D0D8DBA843CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51eb5c0f111b2e9efb848e166dccd71bf81ef59d","datavalue":{"value":{"entity-type":"item","numeric-id":4531580,"id":"Q4531580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f975c65805ba00120689bc7f05b51595ee40a32b","datavalue":{"value":{"amount":"+0.7486927509307861","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":"Q4583172$DADFE034-B703-4818-B80C-FF88DEFF6D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c546402ab1214da4df5dd86fdaa1acfb2325b0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3305558,"id":"Q3305558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04076667546fe26b18f1f35bfacf029053648994","datavalue":{"value":{"amount":"+0.7472891211509705","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":"Q4583172$56DE56B2-7D01-4F18-B7C1-B7E4F14DE8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d979d59a9e58c7a6537acc54eeea4fa86ab922","datavalue":{"value":{"entity-type":"item","numeric-id":4218020,"id":"Q4218020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cada8b5e458e7920d8606bd2403eb73457ff6a2","datavalue":{"value":{"amount":"+0.7452183365821838","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":"Q4583172$6A689270-AACE-465F-9C84-D338C733AFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4b430be606e38555c56149aa3e102f268e3d33","datavalue":{"value":{"entity-type":"item","numeric-id":4694250,"id":"Q4694250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cada8b5e458e7920d8606bd2403eb73457ff6a2","datavalue":{"value":{"amount":"+0.7452183365821838","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":"Q4583172$09B4A0B2-6A7A-4137-A762-4284CCF846EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4583172"}}}}}