{"entities":{"Q1913633":{"pageid":1924375,"ns":120,"title":"Item:Q1913633","lastrevid":46369770,"modified":"2025-12-24T15:53:57Z","type":"item","id":"Q1913633","labels":{"en":{"language":"en","value":"A distinguishable model theorem for the minimal \\(\\text{US}\\)-tense logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 881259"}},"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":"Q1913633$191BBD72-CAA1-4CFA-B8C7-E48D18EB3D49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a969a8edc8a326a9e5cdd7ae79242e921339955","datavalue":{"value":{"text":"A distinguishable model theorem for the minimal \\(\\text{US}\\)-tense logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1913633$B2D18856-01E1-44D2-A762-D6E88BDB9E4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2aa26293f799bb9e723d5063ab64a977be4d837","datavalue":{"value":"0843.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913633$E7006377-72B4-4839-B724-732D8DD1F659","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc667845b69ffe78e87b193c8e67c83a1bc1a138","datavalue":{"value":{"entity-type":"item","numeric-id":190276,"id":"Q190276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913633$299ADCC9-F332-4DE5-BD90-E2070E4E5D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0a50a9bade4a4e8dfdfd1b904676b3e3ec3ca56","datavalue":{"value":{"entity-type":"item","numeric-id":1295498,"id":"Q1295498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913633$FB5D3D51-F3B1-4D91-AEE4-63C0CB6361C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913633$D44231C8-9C94-4366-A2F7-F6368FC7185F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5292ab516e4ffbacaf8b2cbb34f3460bc6d7ebd8","datavalue":{"value":{"time":"+1996-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1913633$28926EFF-446D-4157-A632-8E74E99C97E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913633$3962C895-C195-4DA5-A169-5B3B00581EF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7c8769069aa7b42bde7b0c8893a59c9e8bf0c93","datavalue":{"value":"881259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913633$3CF3457B-F9EA-48A6-91E5-9C43CA0DBF55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb09e1cc75b053fd7346c8b613d5b6818cd091e8","datavalue":{"value":"distinguishable model theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913633$1C887F5D-B150-44C1-89CE-9833EE3065AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2db822ca4b11c680eb8d0d25f54f53cb423bebff","datavalue":{"value":"US-tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913633$6B9FF376-AFE4-416A-AB9E-C2F664277156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3df9c4f8d9160b996e9a4cbcafa9d9460d312435","datavalue":{"value":"ternary relations of betweenness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913633$9121F6FD-1D9D-4B4C-8F51-9FEFD18E0483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913633$6044668E-F6C3-4ADC-90E2-A11DDCF7BAC5","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":"Q1913633$CDCDEF12-99E2-4461-998E-EC402A5C853F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0b8182df2eecca8103bacae908eaa25062a4433","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040136918","type":"string"},"datatype":"url"},"type":"statement","id":"Q1913633$1ECB0FCA-AAD1-4BC2-8F48-6F0E36C9CB11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5418e5b5532eb320a494b62a881feb4581ddc700","datavalue":{"value":"W2023212441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913633$084B7783-2404-446E-9140-1A5058634D2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913633$BFB1856D-EE4D-47FB-BA6C-30973DC1FC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5f5a8693e3e3343e0cb3998b121d3d28977a59","datavalue":{"value":{"entity-type":"item","numeric-id":1104920,"id":"Q1104920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913633$D2F4D65B-EAE6-49B9-B2C4-977FDF691294","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ebc114f28235f05312126663fda0944e68f7697","datavalue":{"value":"10.1305/NDJFL/1040136918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913633$7E5BB34F-7C6E-43F3-81E5-29B2A3FB249C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1155bfaee4c9ac440e6f77981f38073574731b","datavalue":{"value":{"entity-type":"item","numeric-id":5937817,"id":"Q5937817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21704ddb65109192e3e016e8c10c9165fcad9df4","datavalue":{"value":{"amount":"+0.7653896808624268","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":"Q1913633$95EC5EA9-E6A4-4D42-BA75-23F9E024E438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3142dac90fd20b631fb151b91f1f0adaee3161","datavalue":{"value":{"entity-type":"item","numeric-id":1288959,"id":"Q1288959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950f3d0554031aae041fa5cdc4a386e54a04f968","datavalue":{"value":{"amount":"+0.7292221188545227","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":"Q1913633$87427158-4B86-4725-9158-27E43A2F9472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c39e42e24660299a9517a5e5fd94ce3fd8e90add","datavalue":{"value":{"entity-type":"item","numeric-id":4726222,"id":"Q4726222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea3e8679b1b973e7b88bc19c5175479ef9ae637","datavalue":{"value":{"amount":"+0.7085246443748474","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":"Q1913633$F504C32A-4AB1-4F8C-979F-2B697ED89F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b85d2fb636dce3b09813c2da4f0fde4642ad0594","datavalue":{"value":{"entity-type":"item","numeric-id":1104920,"id":"Q1104920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f677c3a486936a909be445c794b4059340a20711","datavalue":{"value":{"amount":"+0.7082147002220154","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":"Q1913633$2663439A-06D5-4A61-B47E-7EAE49679602","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1913633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1913633"}}}}}