{"entities":{"Q6551713":{"pageid":14162868,"ns":120,"title":"Item:Q6551713","lastrevid":55680157,"modified":"2026-02-17T20:54:47Z","type":"item","id":"Q6551713","labels":{"en":{"language":"en","value":"Prenex universal first-order safety properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7861413"}},"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":"Q6551713$F6D8C1DA-2532-47C0-8EF1-4080A644458D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81ce3b07f8be3c4f6df8fe6dd661a9a4b274ed8f","datavalue":{"value":{"text":"Prenex universal first-order safety properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6551713$69D3E6A6-3045-448A-AFBD-137440ABA8E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db720c2c82d83669ef836c62fc0d601b0f2019f7","datavalue":{"value":"1541.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551713$A67AC634-F86A-4C74-986C-4747038625B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87a16f127740a58f839da8eac577b2fab568ab69","datavalue":{"value":{"entity-type":"item","numeric-id":2028999,"id":"Q2028999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551713$ADF23296-9315-4102-ACB5-477D7269984D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7aa2b5ca12dfb043e083dc8c11cbe7afc077951","datavalue":{"value":{"entity-type":"item","numeric-id":6551712,"id":"Q6551712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551713$2074A9D1-9FE8-41BD-B129-7F8F47E83393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551713$04A0F522-BA56-4A4A-AD48-F67A519D2088","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551713$E4D626B4-22CD-4013-8AA8-4608EDF5F07E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ebbfebbde9e44ce8411984988976e62e4323a","datavalue":{"value":{"time":"+2024-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6551713$44BF42D2-322D-4F85-BF6E-6DFB69BD2DD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551713$8B4252D8-26CA-4112-9F11-CC4DED0E3E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551713$E6CAED7F-5CC2-4256-BC57-17C743A7C8E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac61d7d44388d408917dba81c89be5c561d59106","datavalue":{"value":"7861413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551713$7D7D00C8-F6ED-4561-9372-9708565F7C27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fac0cc2cfb52d84e5fc5c5bd4b8870e42110bdd","datavalue":{"value":"parametric systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551713$8B6ADDC5-82BE-4273-BC3A-E57EC18BB0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7579fbef23a7659c3017ab01094b192383ca0fdf","datavalue":{"value":"first-order transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551713$60571F20-45DC-412D-AD66-A8BC72A97553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db57ab79379b079ec261cd57f745211e2d689ac4","datavalue":{"value":"first-order safety LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551713$FD4EDA9C-E241-470E-9DA3-CB29C666B701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551713$D79F65DD-30B7-41E5-AC56-175A5AFEBD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551713$B41E084F-EE5D-4E85-B632-3B3602956FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551713$36CBD045-0FD2-4FE1-A6C1-F5E1B4DBD0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551713$8120668E-836B-495A-9D4E-8817A5FE35FE","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":"Q6551713$E6E40CD1-6D88-46EE-9840-159EF3BD29BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2852c4a88ddf3c6dc9f71ff41945ef7aed67652f","datavalue":{"value":{"entity-type":"item","numeric-id":2616499,"id":"Q2616499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551713$7E044ABC-3B71-4917-ABB1-35804CDD5912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551713$A964C0C5-6709-4858-A73C-E3C8BC2AD156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36ac6979365566d2d1f66a4b1d6a274cf660dc","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551713$14F20A6F-6E6D-49C6-8F03-C9F69B8CC387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551713$6D4A9C45-675E-4EA5-9316-FCDBE744DA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551713$E5D55C21-9D91-4705-A2E1-176873DF46F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2272b3ece659ce63040003ddf21ed42bbd8bd444","datavalue":{"value":{"entity-type":"item","numeric-id":2819856,"id":"Q2819856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551713$408EEEC6-D6D3-4403-AB1D-F2E10049012C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae8d52d79b599f507d0dbe20fa0b710fce70571","datavalue":{"value":{"entity-type":"item","numeric-id":784157,"id":"Q784157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551713$408F65A4-3C24-45A4-94F4-0F98C366C367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551713$22C57D4E-3359-49DC-8149-E99FC27B23AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"211f516607b94b7dd8ee24c07b49661ad3d445ac","datavalue":{"value":"10.1016/J.IPL.2024.106488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551713$12C7BF12-BD9A-40D4-9218-E2DACF6FF6B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7283a6336d4b754c8a06ce8381f41e229b9d34","datavalue":{"value":{"entity-type":"item","numeric-id":784157,"id":"Q784157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7101a9daff0316e5f61eb4cea827f5a57207b493","datavalue":{"value":{"amount":"+0.7326729893684387","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":"Q6551713$CEDE3D59-6D1C-48F1-821A-909C34F06DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82d52f705b6bd5ddd44d5eff9fee296a5bfaabd","datavalue":{"value":{"entity-type":"item","numeric-id":1702932,"id":"Q1702932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff0dcc597aa66cd462da371c4512950cecc704b","datavalue":{"value":{"amount":"+0.7084643244743347","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":"Q6551713$647399CC-38F1-4A09-8198-1464117F0663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a505f5185cc790a15e02721fd0da0e503f46206e","datavalue":{"value":{"entity-type":"item","numeric-id":3177887,"id":"Q3177887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ad5d2a7134c21f01b5d417b0c5733fd40696d4","datavalue":{"value":{"amount":"+0.7081436514854431","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":"Q6551713$2629712A-DDA9-4156-94E1-F4899E5E39C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a1626974401c916066234f4f173c35382fc52e","datavalue":{"value":{"entity-type":"item","numeric-id":2233528,"id":"Q2233528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234d626cfed9f634d0a35434880790abb9bdb479","datavalue":{"value":{"amount":"+0.7057103514671326","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":"Q6551713$984659CE-F9A9-48C0-9AF5-4A02D7D36A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"166d17e0ebbf934a0fbc43054a7f36260b46c24e","datavalue":{"value":{"entity-type":"item","numeric-id":3367317,"id":"Q3367317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ff40901da9e6423422d362fa4abd9c408be364","datavalue":{"value":{"amount":"+0.7018105387687683","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":"Q6551713$430F666B-97EA-4739-80FD-7BF5A56B5FFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6551713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6551713"}}}}}