{"entities":{"Q3496314":{"pageid":5526217,"ns":120,"title":"Item:Q3496314","lastrevid":48648052,"modified":"2026-01-05T12:03:40Z","type":"item","id":"Q3496314","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170873"}},"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":"Q3496314$29A9FC93-52E7-416C-A2D9-C7FF522E1519","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c773dbaa4bb05066bff7fa48e019eeddbe11da7","datavalue":{"value":"0712.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496314$15FCA244-6E42-46BC-9B93-0819AFDFEE69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0affe2a25810e6e65686125d554154ef5cc75","datavalue":{"value":{"entity-type":"item","numeric-id":3496313,"id":"Q3496313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3496314$95754347-40C0-4B67-BCA0-B36707E18F73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3496314$1412CA82-E2E9-47E8-A536-31B0D45F0451","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496314$ED0E324C-CE7E-4A93-8A2D-73CE0FE9BAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496314$752CF854-B2F4-4BEC-B835-FA0CBFB7B8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496314$2D367F29-03B6-4553-A2A3-4DAB9D80AC45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34f3e4a64cfa32d0274d0b2714703ccd5347c64a","datavalue":{"value":"4170873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496314$F6BC3E45-426C-42A3-98CF-4B262B66556F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496314$5F21AA3D-8468-48CC-9960-9641B80F5E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a5e7914ba1770cf34f317b22428432e4cae8aa2","datavalue":{"value":"cut-free Gentzen-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496314$01D8B9D0-3F20-416E-AE25-54E33897FFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98dce8a7545f3a58597054ac5ad99f0547107475","datavalue":{"value":"branching temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496314$B7789990-F955-44C7-8D67-A6D061D65A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd8af3c29696b738fd9091e93997ad95664f1fa","datavalue":{"value":"regular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496314$6EF65DC6-747D-40A3-B34A-BAE4B8982856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c12a711002ccfec138df6c1d769aff8fa6bd9cd1","datavalue":{"value":"branching time logics with regular operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496314$884DBBEF-363B-4270-97DB-073253328CF4","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":"Q3496314$15F71BED-851B-4CB5-80B2-76E1232DB2BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01bac3cb1a669b45e39a7039a066d86cf8f9fad5","datavalue":{"value":{"amount":"+0.90999126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3496314$E779CB21-5990-4F69-AD22-042CD2966287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7300cc5fe982215858a279f2ac0316a4a620cbbd","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c472765a8c942c10a5f9d66176dcd11689d023","datavalue":{"value":{"amount":"+0.9007745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3496314$1CA2EF25-4A82-4387-A03D-06479DD6C901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a59025c5b438d387ec14bd73b1dcf3ebac0ca3","datavalue":{"value":{"entity-type":"item","numeric-id":3344178,"id":"Q3344178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b5a5334aba5f8cba8c5b390234ad3255221862","datavalue":{"value":{"amount":"+0.89922607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3496314$07A135BC-94CC-4104-A2EB-681DE9CCB9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e43907fe606fbf17dd8ca770d2ff86e202867a4","datavalue":{"value":{"entity-type":"item","numeric-id":6067745,"id":"Q6067745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc15051aab3efebd254c5fb850daea10e04f113","datavalue":{"value":{"amount":"+0.89479375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3496314$2EE5DD2D-ED84-4071-B979-CBFC5446F545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa5e0720c6e60cce891371751aad32d08953a87","datavalue":{"value":{"entity-type":"item","numeric-id":764262,"id":"Q764262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad0a628df07ec6eff8b4c014a900401f9a964eb","datavalue":{"value":{"amount":"+0.89142245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3496314$10485787-98A3-4572-B3A8-809C337C47CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce80263bac2b4bdecf2005119948986e1263482","datavalue":{"value":{"entity-type":"item","numeric-id":2865739,"id":"Q2865739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc25940da38e236b49f222fdaa9f6e2e8f79bce","datavalue":{"value":{"amount":"+0.8891617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3496314$43E5E4E8-E527-442E-8BEB-05184776B35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68cf0f42db929e2170aba75b51484eb0b6b12875","datavalue":{"value":{"entity-type":"item","numeric-id":2987734,"id":"Q2987734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ff86319e95a4a886da1ebb35383527d3f1b2de2","datavalue":{"value":{"amount":"+0.88911957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3496314$1B1F6590-9F07-44D1-B1D0-B185186B7454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a7012ca2bd562a7e57df0b315383bccdc5bda4","datavalue":{"value":{"entity-type":"item","numeric-id":2300079,"id":"Q2300079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1889c7aa7a3808ad288ae09e93c99af4b90c40b","datavalue":{"value":{"amount":"+0.8890157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3496314$3D781231-81DF-4DF3-AB55-780702A4AAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261292c6587229031f78a8632f6fc9e0ce6f6d70","datavalue":{"value":{"entity-type":"item","numeric-id":4281547,"id":"Q4281547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054e91195f1faea2ddb66bb3e05461a579158b5b","datavalue":{"value":{"amount":"+0.8882326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3496314$A059BD78-CF5D-489C-8A92-6FB03DB92A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d713b013f9c21146d7c164818d589c7c1ae4b804","datavalue":{"value":{"entity-type":"item","numeric-id":4864475,"id":"Q4864475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054e91195f1faea2ddb66bb3e05461a579158b5b","datavalue":{"value":{"amount":"+0.8882326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3496314$67D5ECF1-E2CE-43AD-AC38-AF75B7DDA33C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3496314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3496314"}}}}}