{"entities":{"Q6649493":{"pageid":14260650,"ns":120,"title":"Item:Q6649493","lastrevid":40613230,"modified":"2025-03-12T13:40:10Z","type":"item","id":"Q6649493","labels":{"en":{"language":"en","value":"Deciding hyperproperties combined with functional specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7954871"}},"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":"Q6649493$22485B2A-DDEF-41C5-B6DA-26B6E912F22B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a9758147f1da93f57e01fc5bdfaabde35219ef3","datavalue":{"value":{"text":"Deciding hyperproperties combined with functional specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6649493$F26AEE04-3B25-4C7C-A524-126245CCC985","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e86ba455aa081818c857c6c72ceacd7d36027c2","datavalue":{"value":"10.1145/3531130.3533369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649493$37F4265F-7181-42E9-A2D1-6F1EB85E0B4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eee58e07e7f9770d69c36e7da6f9baba391fe757","datavalue":{"value":{"entity-type":"item","numeric-id":5875387,"id":"Q5875387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$536E7352-3993-4E49-BF66-700CC8F73037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c919b4654b77c6b008dfa7d73ec1d3009aeefd","datavalue":{"value":{"entity-type":"item","numeric-id":6649492,"id":"Q6649492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$5BC2A35F-B639-4119-8D1E-7A1D052279F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$142C8575-DD12-4FC6-B8EB-24CFF08D3089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae863e361406875ddaa7394552d0da60b28b9fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2147205,"id":"Q2147205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$AA8D2351-83DE-45BB-AEE0-17919AEF0C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81161afaa508e2d68667bfb24b0b658ce4a4b13","datavalue":{"value":{"entity-type":"item","numeric-id":831913,"id":"Q831913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$D578EAA2-2D44-4B8A-A85F-2E4EF282C7BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66247bf01cf793896a6bcf8ae45be2cb3774bdfc","datavalue":{"value":{"time":"+2024-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6649493$51ABF01C-9212-4F23-B31F-35AE8CE9D60A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649493$30D84384-B5ED-4C23-9F30-222AE7AE2DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649493$21F147A7-624A-40E2-B838-702D868AC9D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c60a3ca9bbab306908182b3d6cf5c62cee06159e","datavalue":{"value":"7954871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649493$58B06F2E-043A-433E-AAD7-DEB33375AB31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7f48e002dc44a44e79171794db4cf1e4723a8a","datavalue":{"value":"HyperLTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649493$B190D8F0-35AB-4C5D-8EB0-3730670629DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649493$AE5F295E-C3AB-40B6-A368-EF9C302F2A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649493$24E5DC47-7C35-458B-BE52-63AAF6315464","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":"Q6649493$731F7D2C-53FC-4068-98F8-24D17C651F42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4487bbf1975ec8a8efa423b9a88974b14b2ac2","datavalue":{"value":{"entity-type":"item","numeric-id":6485910,"id":"Q6485910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$07C07F4C-8A49-43CF-A616-BD032C0179BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$CC4E06EE-5075-43DC-A5EE-969B5D39B77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$3A0C7798-06B6-406F-8D4C-524E268D4EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6969f6af5f82cd88a8086914aec223c2fca89cb1","datavalue":{"value":{"entity-type":"item","numeric-id":2152640,"id":"Q2152640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$404C7B0F-B0B1-4E55-9239-7D85B233A478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6571451eb34c2ec047797471dff827c46fd6e0","datavalue":{"value":{"entity-type":"item","numeric-id":832224,"id":"Q832224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$4C0687A3-71DA-4F97-B7F6-8DDC21DEF0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd41312b2e7671b43baf61c3a5d18d0b14b9edd","datavalue":{"value":{"entity-type":"item","numeric-id":6176108,"id":"Q6176108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$38DE382A-6313-462E-8D13-7884CBD145F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af4c8628c39415db8532d7ed1923a812de2f281","datavalue":{"value":{"entity-type":"item","numeric-id":6487322,"id":"Q6487322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$62554907-8D8E-49F4-95A5-40F7064B3F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6677bc561794503d751c500f49df0ec7267439ed","datavalue":{"value":{"entity-type":"item","numeric-id":2232276,"id":"Q2232276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$B65E6203-C148-4883-8BFC-4905AC07500E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$24F31F5F-9CFD-42A3-8CC0-200228CA3194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716642967fc2d502d98064516acfb8991ec179bd","datavalue":{"value":{"entity-type":"item","numeric-id":2147207,"id":"Q2147207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$CE9EBF7A-1C70-479B-877E-48E619E05C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94e8f311e50dd2a6565a5d26beb73e39be23ae8","datavalue":{"value":{"entity-type":"item","numeric-id":2988635,"id":"Q2988635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$9E7F15F7-16F6-4634-8456-90A89236885E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40531d341fd8cf721b83d156f266c394aeed15c5","datavalue":{"value":{"entity-type":"item","numeric-id":6485906,"id":"Q6485906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$DAAAE4C3-10A4-4FA7-AFBC-6D6E204767CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48cd9b21419c0b0476f895370752ead060b8bfc","datavalue":{"value":{"entity-type":"item","numeric-id":4608665,"id":"Q4608665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$240DD5E3-1926-4312-86D0-E3C12CCC9A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7307bc2d0d53679a504e4d1569b07360d86d3f","datavalue":{"value":{"entity-type":"item","numeric-id":6045002,"id":"Q6045002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$8E112B80-42F6-4D55-87B1-DDC5902EC2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e974e536e1e5ef78e02c4e4f5c09b5521b168313","datavalue":{"value":{"entity-type":"item","numeric-id":4636628,"id":"Q4636628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$6CD43123-3DBB-46FF-8B8E-EBCA06B9335F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$BAAD6C18-7655-425D-AC4A-C71E27A28DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5f9254e998a1239dd0f53931007f01b4725fcb","datavalue":{"value":{"entity-type":"item","numeric-id":6168463,"id":"Q6168463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$8B7D68B2-5E6B-46AE-AE63-84026E44C7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6be44b04451278abe476d0cfa64e44423da4a55","datavalue":{"value":{"entity-type":"item","numeric-id":5089318,"id":"Q5089318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$6C768B6E-E9E5-4242-AE7A-457D3E367F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a521f54a7c14150a5df9a9e9f1892234d1fe0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$3652683D-51E7-42EB-8BE1-6D361E910D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99beac329e11d5c5d4b30ea1e65a39423ca87393","datavalue":{"value":{"entity-type":"item","numeric-id":5005106,"id":"Q5005106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$5DD430DE-F2F7-42C1-BD25-0CE86959357B","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":"Q6649493$1D118844-BE62-4EBC-A242-CAAE7EBE3D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cade86c00ac7b634f7a23b90f53e7df91786416","datavalue":{"value":{"entity-type":"item","numeric-id":5278421,"id":"Q5278421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$7B00ADB7-0053-4829-87C5-855C9C2E8321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bdf277f440cd6add19f53adb4564e4f5f80939","datavalue":{"value":{"entity-type":"item","numeric-id":5874216,"id":"Q5874216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$1973C79F-20FA-4E7C-A8EA-5BA95B70DA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$C4C4B032-68A0-4C6D-AD6F-910D8C5A8855","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":"Q6649493$541334CF-A4C5-4DB4-9524-84DEC016EB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$B06F4B04-FB19-4A09-A30D-DC7FE8946D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$3C626672-7C6A-47E6-ADF2-140FDBD60C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649493$3E4532A2-64A7-4B7C-8ECC-BF021B1935CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6649493","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6649493"}}}}}