{"entities":{"Q4138711":{"pageid":6168311,"ns":120,"title":"Item:Q4138711","lastrevid":41459609,"modified":"2025-04-29T21:01:37Z","type":"item","id":"Q4138711","labels":{"en":{"language":"en","value":"A completeness proof for an infinitary tense-logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3566817"}},"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":"Q4138711$F7E051D4-A7F4-4E1E-AF08-DFFE6F8645CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7390dcee21c5ab9e23927f311a86c617e718df1f","datavalue":{"value":{"text":"A completeness proof for an infinitary tense-logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4138711$82C95651-1CFD-4850-87B6-2A3A95B10334","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba3205166bc0b2c8e2a00e1950b3689335ac675c","datavalue":{"value":"0364.02011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4138711$8E054D47-E3B0-4156-AA3F-95D49385DD57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a724190e228a348c5335d77831f25795618ecb7d","datavalue":{"value":{"entity-type":"item","numeric-id":2598616,"id":"Q2598616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4138711$553E4422-CA06-4FE7-A73D-10351553AA18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4138711$AD39483C-F427-462C-BD9E-82AE32E8DF48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c92a34928653a74d455e21c4b29fe18db9a68bd","datavalue":{"value":"http://hdl.handle.net/1887/10570","type":"string"},"datatype":"url"},"type":"statement","id":"Q4138711$6394DEFE-FE7E-4E7C-B2B1-7079E58B18E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4138711$A2ED5B5B-F975-4F79-8E28-14512EDF5630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4138711$6FA73518-DACB-47FA-944F-EA289E65AC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4138711$1B62F8D1-BE82-4D40-8970-7E1022E30C42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93e047451369c4a8312f027d26863334c5f24f06","datavalue":{"value":"3566817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4138711$E64698D1-4163-40A8-BCBB-22AC5E548B9B","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":"Q4138711$32E9235A-8618-4944-BD9E-E1900D8F13ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b2879770c1b7864b08ea1fb0f0398af2af4208d","datavalue":{"value":"W2152261758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4138711$C5F2069D-9BB5-4AC3-8012-90B703A7EEA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fdeff8f8b19d29a8efed926fdbf4a55d0776d85","datavalue":{"value":"10.1111/J.1755-2567.1977.TB00778.X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4138711$165AF39F-6661-4C34-817A-1CA799BFD797","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"662d052b488606d21bf89b7108b5c9c8c86622a6","datavalue":{"value":{"entity-type":"item","numeric-id":4817166,"id":"Q4817166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4138711$D254ECA7-2902-4027-BE34-B0B95989A8A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4138711","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4138711"}}}}}