{"entities":{"Q4982118":{"pageid":7011696,"ns":120,"title":"Item:Q4982118","lastrevid":52231568,"modified":"2026-01-21T05:20:12Z","type":"item","id":"Q4982118","labels":{"en":{"language":"en","value":"Complete and terminating tableau for the logic of proper subinterval structures over dense orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418738"}},"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":"Q4982118$1E815EC9-DD51-44A8-8B7F-3D8EAB194A41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61978aebd28053edf15ecd00c75896a931df7662","datavalue":{"value":{"text":"Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982118$DACC8753-6C28-46C2-9E07-1D6EA6585E5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c081c6e402a3bf66acfec532f8663dd1bf23f08","datavalue":{"value":"1347.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982118$6845A45A-A06D-47CB-B126-7E0632711D5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$AD0BF295-D675-489B-832D-861DCBDB6208","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$2501AAE1-0C17-4C74-8D4F-1B15FD61DD9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982118$3EA8966B-C8AF-4D9D-80E2-71DB65F0E59F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982118$58B05C12-8C28-4FAB-9E32-3E7C1F0CC018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982118$5EAFB3F7-B859-4119-B893-6A35801B3E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982118$3EA0F26B-4543-414C-9176-BAE35765E1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982118$2EB34248-9646-4CDB-B7FB-E57E3256B1A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c950388109b81db6363dd968a413a11003536b6","datavalue":{"value":"6418738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982118$F6D52EB9-B30B-4A6D-98E5-607F2410FD9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982118$EA856724-8709-492B-9F1C-370D30825947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982118$B4B75451-1320-4B1C-8120-EDC4419C8474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941d89e949f5e4be17db02100c1ea2d3b9211ad8","datavalue":{"value":"dense structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982118$09632C6C-F4D5-43D0-8FAA-F6AB01236FAE","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":"Q4982118$A9306AB5-DB59-419F-8E8B-21384102B823","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04a70c28efd17c7d77731784014c81d2c14414ee","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982118$02A8C308-CF7F-46D5-8C56-4B0D3AC1EB11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6050ca0429ae8e58783af36885d1515de78334e","datavalue":{"value":"W2115440678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982118$B32C13B7-E2D6-48E4-9322-09D3650A915D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bac8927aaf96179d4f3a3e503e9e775fb4c1391d","datavalue":{"value":{"entity-type":"item","numeric-id":3838807,"id":"Q3838807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$1F3BBD33-4C5E-4A0C-9BA6-19ABD754EC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd49db1567d5c7404554c9f73e67949de7b65f92","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$8FF12FAD-3466-4CCD-A0BF-BAE21A5CEABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373c21c81e4b6543328e18a2d7aa0d4d632441fe","datavalue":{"value":{"entity-type":"item","numeric-id":5434480,"id":"Q5434480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$6216F3C0-B881-40DA-AE86-C785347A8F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd3b75986adf3d838995986b41cdabbb28fb45a","datavalue":{"value":{"entity-type":"item","numeric-id":5434500,"id":"Q5434500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$EECCB222-411E-4626-961A-DAA5948EEB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1955d74129c167908ab9fa526742ca5d8b32f0","datavalue":{"value":{"entity-type":"item","numeric-id":5479269,"id":"Q5479269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$334DD089-C172-43B0-94C4-CE3793369EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb9dcd375531af369ae4cc5063a5b38f6a61238","datavalue":{"value":{"entity-type":"item","numeric-id":3590963,"id":"Q3590963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$FE7334EE-292C-4538-95DF-9DC30173A1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46960c0454b7c9de4e13a2a08bceb69750cd111","datavalue":{"value":{"entity-type":"item","numeric-id":877892,"id":"Q877892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$86DD8B69-FA85-4E75-A0DD-3C4536EEFF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb24b5ef13aa9924706ad086879bb014e8a0fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$16760DC7-BDBB-4846-A8F6-441B78633B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32daa9698ef484f10054e06ce45ec892c700fd30","datavalue":{"value":{"entity-type":"item","numeric-id":671639,"id":"Q671639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$50BF77E9-F128-4EBF-9391-B126017AFC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$F295A330-9F23-4E91-B219-15A71E9B9EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6643dc2ce5fd7a0e7b975b9f8b9bb2354b135f0","datavalue":{"value":{"entity-type":"item","numeric-id":4501577,"id":"Q4501577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$4047AE90-87AE-4224-A2DB-5E863FF982DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b309fedfd947ea3d26b068ae1c0da40072fff4e","datavalue":{"value":{"entity-type":"item","numeric-id":2766545,"id":"Q2766545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$5D277614-AA3D-4788-B07B-C02F0E6EFC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b14633ba3fa0002359814da6dadca23069044c8","datavalue":{"value":{"entity-type":"item","numeric-id":4708923,"id":"Q4708923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982118$47F330E6-4353-4C41-BD3D-31DB2537DC9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86e454ef03ea9322a0b73a913a86f328d23d1bda","datavalue":{"value":"10.1016/J.ENTCS.2009.02.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982118$A6F8F5B6-590C-48AA-9C32-A02EB0DFAED9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4b10d010c78f443523e88e653470004f5cfb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3406687,"id":"Q3406687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686a59828d0624a1210f4b43b17bb51e8c628ee3","datavalue":{"value":{"amount":"+0.930825650691986","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":"Q4982118$3B5DA6C0-9B85-4C72-8257-BF1277EEC1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f752104879229d58644eff29d742ed4b2c8b636","datavalue":{"value":{"entity-type":"item","numeric-id":5434480,"id":"Q5434480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e5b2ac3bc239f8ea22b50c638a109e1d1357d8","datavalue":{"value":{"amount":"+0.9066452383995056","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":"Q4982118$5793EC22-4C19-40FF-B715-C074BD824D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b018392c0ce66d828239079ceefc669b9e00bcc2","datavalue":{"value":{"entity-type":"item","numeric-id":5187862,"id":"Q5187862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96df80769c63af098b5469e69684ffca00a5c100","datavalue":{"value":{"amount":"+0.8950927257537842","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":"Q4982118$B9396BF5-D523-46A2-8E1C-01ADB5FA3BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00ccdf9d9d93f8df832ec09bd05cb030a1a4a8d","datavalue":{"value":{"entity-type":"item","numeric-id":3010361,"id":"Q3010361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d64bae78e2427466753e3b0b611131c88c310fe","datavalue":{"value":{"amount":"+0.7878077626228333","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":"Q4982118$C1C2D6B3-FA54-421E-9BA0-0C72D05628E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f791aa5c94de6f1d8d8de094ff105869a43814","datavalue":{"value":{"entity-type":"item","numeric-id":5479269,"id":"Q5479269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbdfcc9b5f865d5486956191510a334672260008","datavalue":{"value":{"amount":"+0.7745211124420166","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":"Q4982118$5DCEFEF6-A9A7-4469-8C5A-183EE3835FD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982118","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982118"}}}}}