{"entities":{"Q3648725":{"pageid":5678631,"ns":120,"title":"Item:Q3648725","lastrevid":50838512,"modified":"2026-01-15T08:56:40Z","type":"item","id":"Q3648725","labels":{"en":{"language":"en","value":"Decidability for Priorean linear time using a fixed-point labelled calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640961"}},"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":"Q3648725$51232150-A9E9-4396-91B6-CEA29630718F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec571dde7c201a0a209568ffb1b701ac601b440e","datavalue":{"value":{"text":"Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648725$ED09CC1A-A9FB-4FE5-81BB-6238E35ABEBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b39405de2f830bc4e77f063109e8c326438e645c","datavalue":{"value":"1260.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648725$BE51B07C-F23C-4200-B352-46B6D1BEB07D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a82d67f4df0613963defa194736af45d708b324e","datavalue":{"value":"10.1007/978-3-642-02716-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648725$CE324234-6765-4DCD-A8ED-33C1A55EAEC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e8e24934e9d3722434dd6ecdb27d1db7f5ec8c0","datavalue":{"value":{"entity-type":"item","numeric-id":3648724,"id":"Q3648724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648725$4A45EABA-BB88-4D8B-9AFB-80B06C3119E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648725$DF8D5E90-81CA-4526-BE1C-CC7A4C5CFED5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648725$02AAD65D-C33D-45E4-B0C8-08DA69FAEBEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648725$24FA4479-CC4B-415E-816D-78D04BC71DC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648725$EC88225A-FB9E-4BF0-8386-D320FD33BB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648725$141C9C9B-C794-456B-8881-C0FBB386E8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648725$DF6A9E26-6307-44D5-9601-3E023BEC367B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae82f3fea972fee601ac47e1702d15b989070d6e","datavalue":{"value":"5640961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648725$838EDB3D-7534-4275-9716-E8C1F4DD609C","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":"Q3648725$3B946874-8398-40B8-87D0-A418EE575B5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9bdae6f8881290e9435bf77eb5501a768bfdfff","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02716-1_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648725$5A3E26F4-A1CA-4172-8844-3F27D558E00A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d2081fc6402587e8a471b57b0679f21f8e075cf","datavalue":{"value":"W2135121473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648725$558E03FA-A112-4BDA-BE87-CABD976C299D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c02ae77b41cf91ebd59f6eb7df9fcbe265f49e2","datavalue":{"value":{"entity-type":"item","numeric-id":1873230,"id":"Q1873230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf25c375db85920f3580704e12732812a15b5449","datavalue":{"value":{"amount":"+0.7744541764259338","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":"Q3648725$EEB1798B-C49B-4627-BDF3-58FCF4D99E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da80e95477f3254b90fec839634072a6a441597","datavalue":{"value":{"entity-type":"item","numeric-id":2471643,"id":"Q2471643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf25c375db85920f3580704e12732812a15b5449","datavalue":{"value":{"amount":"+0.7744541764259338","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":"Q3648725$6D719728-7286-4239-844D-1DE6C963960D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33c61005aea7190f1d7ab0262703b85d08bd024","datavalue":{"value":{"entity-type":"item","numeric-id":2228437,"id":"Q2228437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3e806f5b683d8303af17da1d00848b0e0b31cc","datavalue":{"value":{"amount":"+0.7710158228874207","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":"Q3648725$39CED19D-66D9-4FB0-9012-A1193B01C5E8","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":"399f3bfd970e596120cd406a98959468cfa86d99","datavalue":{"value":{"amount":"+0.7707070112228394","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":"Q3648725$EA420B63-2A24-4B9B-934B-37BB05395ED5","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":"a416c9c6fb29bf31231ab916a20a328d7c7af9ff","datavalue":{"value":{"amount":"+0.7612717151641846","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":"Q3648725$CDEC640D-3473-4EB8-9196-5E715F9F3DD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3648725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3648725"}}}}}