{"entities":{"Q6956048":{"pageid":21239820,"ns":120,"title":"Item:Q6956048","lastrevid":84074681,"modified":"2026-05-09T10:56:10Z","type":"item","id":"Q6956048","labels":{"en":{"language":"en","value":"SAT-based bounded model checking for propositional projection temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8066752"}},"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":"Q6956048$F4841D20-B79B-48F7-B220-8B3C1B55DE5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08b191107ed4bbcbb0ada9feac1042722029a393","datavalue":{"value":{"text":"SAT-based bounded model checking for propositional projection temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6956048$09C85F5A-ABBD-43E3-9E56-0DBC48C15DF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1311f2be25f4627ea344347f07546601d40a05ba","datavalue":{"value":"1570.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6956048$FC49EC01-24B6-480C-A907-CB2CB975614F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d410de1da69658e44c88ebb399bdcc88c9124b7","datavalue":{"value":"10.1016/J.TCS.2025.115368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6956048$3B78E4FB-3981-43D1-B680-D83BE670BF3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$5E75F009-0DC4-46BF-BFCA-33CBE8CF8D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$05DB8F58-B5E9-4534-8295-CC38416DB2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e0c9ae8671e5f29856e35bbe5db8cbb2ecbb5c","datavalue":{"value":{"entity-type":"item","numeric-id":247888,"id":"Q247888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$6F9A20C5-51C3-4389-A971-618C8BEEED41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f810953f47b312e2f100054bb46ecef57ba1ac42","datavalue":{"value":{"entity-type":"item","numeric-id":2686104,"id":"Q2686104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$4370D2D1-EB56-4AAE-B6BC-EE03C2F1F8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e085ecbc83d59919ae382f77064b9890c510b4","datavalue":{"value":{"entity-type":"item","numeric-id":247889,"id":"Q247889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$7A50D757-5086-4932-B503-7C64366779FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f632b65a6b4dc868c17755c2cc5fad36c3d66e64","datavalue":{"value":{"entity-type":"item","numeric-id":1045017,"id":"Q1045017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$E024C98F-BFAC-4DC7-92B4-4B2FEAEC16A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$08B4C50D-1224-4EF3-AF31-D9565074FBDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1541852f95bfa9523e1e2b6deca7116081cce9f2","datavalue":{"value":{"time":"+2025-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6956048$0B343BB1-8C43-4504-A20B-E5AB1E686EDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6956048$06CB4A8A-38F2-4AB9-B256-87B6984032F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6956048$F6007C0C-422E-4834-9C0A-406400158EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6956048$B2B5D9AC-3174-46F9-B48C-DFE9DB10286C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39d28a10ebdef06cbfa1f5abfe570dd5d6094b37","datavalue":{"value":"8066752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6956048$1EBB7097-F111-404C-A2F0-DF317E90C4D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7f6c80b0dfc69f07b6732579007eac69eb2f8c4","datavalue":{"value":"propositional projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6956048$14BD753D-1B41-41A1-A640-ED6F35984545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6956048$B3A90E98-CC99-4B27-ADC4-D03B03528D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72e86a410083567fe45df691ab86b057aed5a72b","datavalue":{"value":"rate-monotonic scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q6956048$1B41357B-9F07-423A-AC0F-187D8973EB27","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":"Q6956048$B0A149B7-38D6-4811-9BBA-5DF0202A4747","rank":"normal"}],"P223":[{"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":"Q6956048$D599A3EB-267B-45F0-8B84-5B6D0FB25ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$BA1233A1-274F-43A7-9954-67FB861462C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0be6c53659cb8642df272cd13aa4516eec9a3f8","datavalue":{"value":{"entity-type":"item","numeric-id":5228112,"id":"Q5228112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$07FC36E2-24C2-4A8A-A938-C1E59BC3C261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0035b2c8af5d10594fe2243a270bb9bfcc0983","datavalue":{"value":{"entity-type":"item","numeric-id":3176380,"id":"Q3176380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$123D77AA-607C-494A-A3DE-BB246594F318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0cd029c398c67c1532df4521edfadf83176883","datavalue":{"value":{"entity-type":"item","numeric-id":3851570,"id":"Q3851570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$F7C9F016-EC9D-443A-8C2B-CAB91609AB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$F207C7C5-69F8-4AC4-962D-202F4EA10F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$6CF7DE8D-CAC6-4C4B-928B-483DBF50279B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$5AC5224D-584C-4B31-8643-DC08BA365B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac9a64b9bba218d8ed346af22a83b10294e255a","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$5368A6BD-A047-41FC-98F8-89F0F90A53FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$73B7AB4E-AF20-429D-8565-625B9AD58823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31165551553340b332237594544d75e2a25839db","datavalue":{"value":{"entity-type":"item","numeric-id":3502632,"id":"Q3502632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$B6A0B577-FA45-43CC-AF1B-461815EA2796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c9b42a8bdcd0f4515a811d90e2c8fd35dc8cd9","datavalue":{"value":{"entity-type":"item","numeric-id":2430015,"id":"Q2430015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$9C71F0A4-780C-4BDD-A36A-49C41349DC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2374efe11bb2b4805e4cb936a829acced9b3ace0","datavalue":{"value":{"entity-type":"item","numeric-id":2686105,"id":"Q2686105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$4AF9A13B-0B8A-4E0A-8702-91381FA9FEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$06978877-B1D7-4BE9-ADC4-E452BBC6ABF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45671c6193ec441bc9e4dcc774fb57094354e7c0","datavalue":{"value":{"entity-type":"item","numeric-id":896152,"id":"Q896152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$3B4C25FE-2681-4F29-871B-6E51B31D7DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fa5133216b14614490f456ec9f05c5af9bfa07","datavalue":{"value":{"entity-type":"item","numeric-id":5681520,"id":"Q5681520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$10CEE16C-E1FE-4452-AF79-89B721DC3EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$4927ACB6-3DCA-4B9A-B1CC-B65FA0484F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512e0b06f0b5668911d61ea5465b69a660f3a50f","datavalue":{"value":{"entity-type":"item","numeric-id":4925273,"id":"Q4925273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$88947287-C21B-4BEF-823E-67EAE4DF7057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$DB6A2BC1-D6D1-4AC9-A8F2-3E1347C3D183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$7798362B-2489-40CA-ABF4-F519981575C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69189b9ee1b2a20bb21990a8dbcff02d49d239ed","datavalue":{"value":{"entity-type":"item","numeric-id":4426387,"id":"Q4426387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956048$3BEC08B4-F20F-4EBC-BE62-08AC33019962","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT-based bounded model checking for propositional projection temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT-based_bounded_model_checking_for_propositional_projection_temporal_logic"}}}}}