{"entities":{"Q3533121":{"pageid":5563025,"ns":120,"title":"Item:Q3533121","lastrevid":50483711,"modified":"2026-01-14T04:22:44Z","type":"item","id":"Q3533121","labels":{"en":{"language":"en","value":"Natural Deduction Calculus for Linear-Time Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5359291"}},"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":"Q3533121$15180C64-8592-4231-9BFF-7BC55915015C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0f3fc67d7ba362fe2451be8da78c23406c6b672","datavalue":{"value":{"text":"Natural Deduction Calculus for Linear-Time Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3533121$26A2B3B9-297A-4867-A63F-1D4DE3ECEA95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"024559bf4173831d4b1ed27e1cc8e7ae88467eaa","datavalue":{"value":"1152.03317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533121$FA1795D0-41C6-4A79-AF33-ACB80EABD7FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"727ccee0fbf0b1f978a621f69523b6bf6d72607d","datavalue":{"value":"10.1007/11853886_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533121$B01A6D4E-D70F-41DA-A8E2-342B206EAB89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533121$ECCC8550-F3D5-4266-8CF3-5FA2DB5392FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a314951617bacafcd051bc028a7f73602f45eed","datavalue":{"value":{"time":"+2008-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3533121$8C8ADD7D-17A4-4C1E-B3B0-FCF40AC8A7A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533121$7DA41B68-35DF-4822-BC81-3E48DB5EC783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533121$4282D269-300C-4076-8492-62C69A6D024D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533121$D4B16117-320D-42AE-AA4B-BC98ACC64FA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96e38894b7658b6045256d6254d8056f8f8f82ed","datavalue":{"value":"5359291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533121$1659825A-C93A-471F-A7A1-9BF61B412EF8","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":"Q3533121$40A17969-8CB4-4FA4-BA9D-D9DB2D4450F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb7ad77abb44f7126e511abc06980a1c8833bb75","datavalue":{"value":"https://doi.org/10.1007/11853886_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3533121$350A14A7-3C1F-4809-9BD4-0F1472227FD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e762305a16f5d304fcce2a049098d9a5e8f45e33","datavalue":{"value":"W2148933857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533121$FFCA162C-A0DF-48B6-8F69-E2FD3DACD952","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f0d4374c676cce391044b7b583c95875b00230","datavalue":{"value":{"entity-type":"item","numeric-id":5436697,"id":"Q5436697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c8423c0c5320204f4f14e70a98ec2969dc348b","datavalue":{"value":{"amount":"+0.8988972902297974","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":"Q3533121$BDE497F5-9307-451B-866E-7A094FA767F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356d41dd45ed69f938b450469a48358a139f8aa5","datavalue":{"value":{"entity-type":"item","numeric-id":1419387,"id":"Q1419387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30590d69192165a531a30b6727267bc9e472fe6","datavalue":{"value":{"amount":"+0.8215259313583374","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":"Q3533121$FA0AC168-2C16-44E0-A8EA-AE1507D2F1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835be840976d82e0e3e69203203f8f9f3386ef08","datavalue":{"value":{"entity-type":"item","numeric-id":2799620,"id":"Q2799620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1f2654a80d7a7607f943507fc4ce3f571a5120","datavalue":{"value":{"amount":"+0.8084642887115479","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":"Q3533121$24CCD467-C120-44B5-B7F6-EA859526EF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1382d468932f296c2840c38fa17b418420180869","datavalue":{"value":{"entity-type":"item","numeric-id":1123186,"id":"Q1123186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f7d23774491d3c11cf6d8a01ac42c94298b9e0","datavalue":{"value":{"amount":"+0.7988758683204651","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":"Q3533121$015AB79E-F987-4081-AC96-53368EAB5C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a4fc00a703afc442c8e1c15c8b2d1c36549e","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb9516530b95342afbfbde4cbf421ce0e7dbbeb","datavalue":{"value":{"amount":"+0.7806655168533325","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":"Q3533121$AE758E62-092F-4BC6-8030-9169CB764F4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3533121","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3533121"}}}}}