{"entities":{"Q6636621":{"pageid":14247773,"ns":120,"title":"Item:Q6636621","lastrevid":40628899,"modified":"2025-03-14T20:27:11Z","type":"item","id":"Q6636621","labels":{"en":{"language":"en","value":"Invariant checking for SMT-based systems with quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7942539"}},"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":"Q6636621$1860696B-E945-4E7C-992C-40A281BCBF04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"255e64ea89bab85c07d991ff284dca3ff276826d","datavalue":{"value":{"text":"Invariant checking for SMT-based systems with quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6636621$7D283269-AC75-4224-8782-B1A33DE0BFA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e1198bb8c629ab28c6d6a5a6f2482acfa61bc45","datavalue":{"value":"10.1145/3686153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636621$A9671616-70A9-42A2-A510-8C5511D94212","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72898f5e52440e10d625d149159607c255c00cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2055850,"id":"Q2055850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$1E1AE61F-7007-44ED-922F-744A7672B0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$1A90689F-0492-4936-83D9-1DC3EBA19742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$1F4ED9AA-744C-434D-9C08-21CEF39D1BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$BE8A7C32-3E02-4677-96A8-69A8D83B6245","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$29EFA9CC-7F5C-432A-87BD-051AF67043C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60fa3f87d97ee0a9686c2e5537009cd3455d3ea2","datavalue":{"value":{"time":"+2024-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6636621$8E7F006E-7D3F-483D-9DFB-6ED4EF6CA5E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636621$B3952BCD-20EA-4874-A1A2-8FC58A3B7DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636621$B2E15C40-57AF-430B-B2FF-4BC275826E7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9db23d2f0c391cabb4342b0d805858c76e60928a","datavalue":{"value":"7942539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636621$0AD350D3-3F2B-4005-8FEC-E8BF701470B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11c42eab4d690ddbf9f373e1680c5c78471ca3a0","datavalue":{"value":"invariant checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636621$1B7B1A5B-710C-46F1-8141-BBF4299ED396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d37f25b541288951a57eb403426fb3bd46c73f1","datavalue":{"value":"universal invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636621$18D96AC8-1E81-49B7-BEA9-9A2889B13C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636621$01D90943-70F4-4D3E-AC1B-D591AA44AB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c6e6f13e308e7e28c37554ecc0101d13c6c9cb0","datavalue":{"value":"quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636621$EC009B17-0DE2-4867-924B-D6DE6EAEEACF","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":"Q6636621$04523D14-BB37-49A0-BE7A-88DAF0DE6C84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecdb0aab67be49a869b3b3140e39e00b67d99be9","datavalue":{"value":{"entity-type":"item","numeric-id":2786907,"id":"Q2786907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$CCFC40DB-32C5-4EB5-85D9-D8A60A2DF225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$46758049-8A34-462B-B5B1-3D920A5D08AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$CBA1B435-7E25-4B1E-A8F9-B02EAD9541B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d67500ad267793e5f7155f89fc3f68edea9ebb","datavalue":{"value":{"entity-type":"item","numeric-id":5492994,"id":"Q5492994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$E908097D-45B9-4738-9C72-9AFD909DF2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$ADC8D8CB-88FA-43A4-9B2E-2EF1AC66BA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2382c5c030ab0f86cd18743b01785306e281bf","datavalue":{"value":{"entity-type":"item","numeric-id":2055851,"id":"Q2055851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$C44AC921-066A-429E-82AC-FFCD3A1A1A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c0bde1551ac1c9131b3bd5a7d6aa126e1f3b62","datavalue":{"value":{"entity-type":"item","numeric-id":6160910,"id":"Q6160910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$73034E1B-C78E-46AA-AE09-E10F4E36A491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dac129a159e5019d1399be30aa2aedbb8b57223","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$926B73C3-2A30-416A-8219-BF4ACA1302C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab0e22c03628581ef6e9245e1d0b984c65b245ad","datavalue":{"value":{"entity-type":"item","numeric-id":2024379,"id":"Q2024379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$85CB7340-B7A7-4D47-81A0-DA5F7E5BD335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$74F3B745-52EE-4168-8C4B-80B34981B401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$A24E3439-159F-4884-943C-26FCA535D590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13a38b87f3b20c7063408a10453103a3d61a75b","datavalue":{"value":{"entity-type":"item","numeric-id":5232900,"id":"Q5232900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$6E23F380-F36F-4613-BBAD-93C6022E153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d27466745eba57837a04b18173a99a47f5ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":1037401,"id":"Q1037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$C8D33FD8-6AE4-4F76-9F68-4142521BF1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c468c5df999a5df8b9ca61276e57be905929fe","datavalue":{"value":{"entity-type":"item","numeric-id":3541687,"id":"Q3541687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$861AC3D9-DED0-49A5-A6D1-DD08E4666E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b34230d6df626c64dad187f872ce2d2c543952","datavalue":{"value":{"entity-type":"item","numeric-id":3081445,"id":"Q3081445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$E10A06FA-2F13-4B3E-806C-87B30781087D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7dd0892c14507a8ebfe27b348bce87a4fc4a48e","datavalue":{"value":{"entity-type":"item","numeric-id":1702932,"id":"Q1702932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$3E88CE56-3E63-40E8-B0FA-0A215D6D2C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c03f06d2cce0be649c3a0f52ed0be8c86b512c","datavalue":{"value":{"entity-type":"item","numeric-id":5716593,"id":"Q5716593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$9F077649-8DE7-4DBC-A20B-747B2698084A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e153e6c7e5cb98b6065c11575b4f76c7ee7df78","datavalue":{"value":{"entity-type":"item","numeric-id":5277793,"id":"Q5277793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$BEE848CC-97A2-40DE-AFE5-8D08A02DC086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1255d1877d234dd153eba7ed365a6f3efc1ff6b1","datavalue":{"value":{"entity-type":"item","numeric-id":4617972,"id":"Q4617972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$21E75425-4221-4FDE-8E95-6A1D37FE0377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$001F6C55-7263-490D-9A46-D020CBA6949B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"281d23eca7aaf6e5c8716bc59f167dc0721ca04c","datavalue":{"value":{"entity-type":"item","numeric-id":6045004,"id":"Q6045004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$852CD4BE-EE4F-47C2-92FF-8120CC42ADDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adaf08cc2d75d40d9af63f2dff7037cce33c5f56","datavalue":{"value":{"entity-type":"item","numeric-id":2828258,"id":"Q2828258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$E2570F17-E60D-46F9-B5FD-E3446540B1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$9DA41425-6A46-427D-93ED-2F1020C862DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77dca6e2c8063abae77b44099322c618d52a79d6","datavalue":{"value":{"entity-type":"item","numeric-id":6174405,"id":"Q6174405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636621$661D90EE-287A-4608-85B3-2CC59E84B07E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"493a4caa41de8b5966b340053ed8242b20ba2ef6","datavalue":{"value":"Q130890669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636621$E4BAB40D-75A1-4D5C-B525-2A610DB35BCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6636621","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6636621"}}}}}