{"entities":{"Q3751561":{"pageid":5781467,"ns":120,"title":"Item:Q3751561","lastrevid":51674978,"modified":"2026-01-19T10:14:06Z","type":"item","id":"Q3751561","labels":{"en":{"language":"en","value":"Sequential Calculus for a First Order Infinitary Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3987255"}},"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":"Q3751561$32179373-2070-4E9B-8CD9-640089C2AC56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db465c79943d6692a0f281ac78803b75f25e8288","datavalue":{"value":{"text":"Sequential Calculus for a First Order Infinitary Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3751561$97057067-F6C7-4ED0-B314-430AE3730405","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d62dae7eeab35ef22749278d0aef7551568dbe32","datavalue":{"value":"0611.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751561$EE3E2892-DB8A-4250-AAAA-D78F455B1E9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae780f6b2b651e51c4d59ac8782d0dd81d7dbc10","datavalue":{"value":{"entity-type":"item","numeric-id":1157160,"id":"Q1157160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3751561$CE07482F-2A26-492B-ABF4-D647AD38A358","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3751561$7166C05F-6C88-4592-B994-4F0720EABACC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3751561$5774864C-7D27-48CC-B96E-6873FE753E41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751561$7393C721-C439-4752-8083-86B387BB92A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751561$29DBEECA-B131-4535-9C8B-FD8873BE2AF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b341072cc633b5eba050ee17cb17f38a46d3f54a","datavalue":{"value":"3987255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751561$DA663816-E679-450C-9DDF-764039C8F2A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751561$A1EB971E-D3F7-4517-8B3E-E45667F13163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66fd77c32042b0ab03f1348859294d27c9a903ee","datavalue":{"value":"Kr\u00f6ger's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751561$4F6D07BB-3CEC-49C9-9E55-6EACEED90A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751561$9908707F-D48F-48AC-A819-057D247B770F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751561$245CFDBD-DB7F-408A-9553-37B3171DA12C","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":"Q3751561$FE1B0112-9269-4D18-B4E7-69DF529B0C1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5553135fbd01294312424a55b5014ce248a0098d","datavalue":{"value":"https://doi.org/10.1002/malq.19870330506","type":"string"},"datatype":"url"},"type":"statement","id":"Q3751561$1D9C44A4-EA7B-4A44-983E-E2AE7C60E9DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a98bd3b7b6e8fdf436e04d7e12234adafd652fc4","datavalue":{"value":"W2170526408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751561$6A49A3D1-D3AE-4E49-BD09-8909BD886BD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28c546a0933f9054ca894e635cca5b5e81a83f27","datavalue":{"value":"10.1002/MALQ.19870330506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751561$0F752E65-EF71-4B40-9E53-9F0A26913383","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd097637b33dcb3fa00a8d4528cacbfe5d3faa32","datavalue":{"value":{"entity-type":"item","numeric-id":3358711,"id":"Q3358711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d30f517453996820e319cfd94d8bda959d08679","datavalue":{"value":{"amount":"+0.8685827851295471","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":"Q3751561$8EDBA858-6BE1-4898-98C4-71CC8FF70FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05aa3dcda7621c0f67f1f397a8e1414dd729e7a","datavalue":{"value":{"entity-type":"item","numeric-id":2757840,"id":"Q2757840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26eb57fb55b65242232434de00076f2d1a50c93b","datavalue":{"value":{"amount":"+0.8407055735588074","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":"Q3751561$17FCDC61-2396-4172-906C-15461A6F5E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f79eb5dfec092432cf602434e44477be294c9dc","datavalue":{"value":{"entity-type":"item","numeric-id":1762733,"id":"Q1762733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7edc9cf7879fe1447de666fe34f88e14492b0f7","datavalue":{"value":{"amount":"+0.8374664783477783","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":"Q3751561$FF1BA731-D421-47A2-BABF-8D8D6FADC507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edaffa804b74d87e038d748335f23a598307087","datavalue":{"value":{"entity-type":"item","numeric-id":1589838,"id":"Q1589838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d499b3edaac69179ab6ae6b1eaf82ee8fa29853","datavalue":{"value":{"amount":"+0.8247738480567932","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":"Q3751561$77DC32F1-76C1-4549-8B20-146C0858B537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eb8737c9b4a9c87f3196612284141daa2b16df4","datavalue":{"value":{"entity-type":"item","numeric-id":4264066,"id":"Q4264066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544ae869eef4354a4b07440a3f861f665de686cc","datavalue":{"value":{"amount":"+0.8175118565559387","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":"Q3751561$234B6FE8-FE09-4E7D-9B66-A839794E5B1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3751561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3751561"}}}}}