{"entities":{"Q6535944":{"pageid":14147087,"ns":120,"title":"Item:Q6535944","lastrevid":55604932,"modified":"2026-02-17T19:35:54Z","type":"item","id":"Q6535944","labels":{"en":{"language":"en","value":"GR(1)*: GR(1) specifications extended with existential guarantees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817366"}},"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":"Q6535944$9AB06CDF-5934-49E7-A4B7-ECB390386C11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ebbea5c66f953f241ecbf0f215aeb7b32479ee0","datavalue":{"value":{"text":"GR(1)*: GR(1) specifications extended with existential guarantees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535944$5BAB226C-6603-4822-977D-99FEEEDFFD9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f9624e59ca35768e777f316e5c61efc064c2e2e","datavalue":{"value":"1539.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535944$2B698CD9-773E-4326-8641-684BC17EA15A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e21865f31c43ea6b0da05c5ecbfc87f8021c25e0","datavalue":{"value":"10.1007/978-3-030-30942-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535944$5E4201E1-E800-46B1-AAA1-48EBCE550D42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4f79e7b6085c4911ad5c7b8d0174d2e3814565","datavalue":{"value":{"entity-type":"item","numeric-id":832234,"id":"Q832234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$7E0C8010-F8A5-47DC-90E3-C77B1EB86C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb097d151a143491d9ee97fc8f8ee6819309ce76","datavalue":{"value":{"entity-type":"item","numeric-id":1854486,"id":"Q1854486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$E3427D89-C07F-4A61-B644-30BD09FD2937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d499c4bdad856d0e550a57077a6e71c025042b8c","datavalue":{"value":{"entity-type":"item","numeric-id":1982645,"id":"Q1982645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$D472C514-92BC-4EAF-9B36-E955C928B183","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535944$680BB2A9-1AC4-4B70-BDDE-9A52B6917177","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535944$F6B06E62-CE75-446F-9796-229C22AC2465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535944$78F3B5BD-A2E3-439E-85C4-61C788A36790","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ea80d923b07ac43ffe0733e7bb85e444d17710a","datavalue":{"value":"7817366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535944$E13A4C43-9B2D-4A33-B763-1EF17E6D8539","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":"Q6535944$6F38C98A-6235-4F13-A9D2-7BF04E294ED7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"547784eafdad4c610374a813968134b77ba3a0d1","datavalue":{"value":{"entity-type":"item","numeric-id":833728,"id":"Q833728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$FE0D5658-216D-4482-A2D1-635D8B967477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30cd0184616c791f159edd27bc653b0ce393965","datavalue":{"value":{"entity-type":"item","numeric-id":3460581,"id":"Q3460581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$FAC27AD6-CE08-4C15-8EC4-DC5169D948AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$59E6D609-4CA2-4B13-A6E0-18DB39F3DB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fca1acefb6ba720094148c13794011a516402df","datavalue":{"value":{"entity-type":"item","numeric-id":1391536,"id":"Q1391536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$A164A009-B1F9-41F6-B677-BA2970AAA54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$138651BE-1DFB-4DDF-8283-376C41AA4103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9620c56a012524b48d3459a5771ff5e40a5e4f15","datavalue":{"value":{"entity-type":"item","numeric-id":3303899,"id":"Q3303899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$157B617C-FF08-4A32-85FB-7B7474F977ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378212bde2f853c9fc1900b4f7d4451454b04df3","datavalue":{"value":{"entity-type":"item","numeric-id":5452707,"id":"Q5452707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$3E312338-AC5B-4231-B1EF-A4356F095C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$13B93174-BC3C-4453-9663-D97BD70676CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$BF98279C-B9E6-44EF-A524-65C220014BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957ca1b3f93af567f6152b6b43dd2b5768568d53","datavalue":{"value":{"entity-type":"item","numeric-id":3021937,"id":"Q3021937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$125C9A08-CE54-4188-AAAE-5C60E92A1A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3dff99082ecbc14ca9f7993ccd7f37651b451d","datavalue":{"value":{"entity-type":"item","numeric-id":2486398,"id":"Q2486398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$B4F45E6B-1D60-41A0-A9A7-E372977FE095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58569cfcb63db51abd33ef3dfc3dfca274845b33","datavalue":{"value":{"entity-type":"item","numeric-id":4744245,"id":"Q4744245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$1E46AE31-2E60-4220-92EA-B276EE7491CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612277e182ba1b70a3979c9589d06d0d97b6ea4c","datavalue":{"value":{"entity-type":"item","numeric-id":5703777,"id":"Q5703777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$AA3C9F25-A9F3-476D-BEB7-210BE7589D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba9e490c9f482c2def0fe73de39e0c3f3b0359f","datavalue":{"value":{"entity-type":"item","numeric-id":4952307,"id":"Q4952307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$F76CFA17-EF7B-4291-9076-CF0CD327973A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$3BB4BE83-1D78-485C-960C-D8C67C1EBDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535944$3C93970A-23FF-425B-8BC2-ADC105BF392E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c9f05136570d048d64e745c90b36ac12959e91","datavalue":{"value":{"entity-type":"item","numeric-id":1982646,"id":"Q1982646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02bd3093f4363a87130d02113dac74c70ad91fb2","datavalue":{"value":{"amount":"+0.9981279373168944","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":"Q6535944$F37DEF16-AFE0-42B5-B942-71A1081996D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3230a34b27651d2cac319d7571d777b76f3cf68f","datavalue":{"value":{"entity-type":"item","numeric-id":2164236,"id":"Q2164236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59287fd46fe52cb06a8715896d4bc09236d7b81","datavalue":{"value":{"amount":"+0.7956738471984863","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":"Q6535944$3F3BE9C8-4ED9-45F9-B9E5-F9BF863B9A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2958a04ce56c7607b18d3a561e751aba7c0a1607","datavalue":{"value":{"entity-type":"item","numeric-id":6045063,"id":"Q6045063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758a3e076a0a424fe962878e2516c605226854e6","datavalue":{"value":{"amount":"+0.7947924137115479","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":"Q6535944$E5C3C2D1-EFA6-49DE-8014-BB98D357AA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b313559002a131c5c45a2679c6bc749b78a46dcf","datavalue":{"value":{"amount":"+0.7920201420783997","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":"Q6535944$71434597-D783-4714-A22F-0AE1FE415B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862b9e8d66ba4fa04795b31c09aec69cd370a49c","datavalue":{"value":{"entity-type":"item","numeric-id":5391527,"id":"Q5391527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8357e709fe4d5a980bbd65b323022c17d9440e4","datavalue":{"value":{"amount":"+0.7729745507240295","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":"Q6535944$64CFA082-34BE-4BEA-9883-0CE5F02DB6E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535944"}}}}}