{"entities":{"Q5178992":{"pageid":7208564,"ns":120,"title":"Item:Q5178992","lastrevid":40992737,"modified":"2025-04-16T22:42:12Z","type":"item","id":"Q5178992","labels":{"en":{"language":"en","value":"Automatic Verification of Bossa Scheduler Properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416597"}},"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":"Q5178992$11CB8718-7344-48C6-9B10-B25B28CD7938","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"040a642382b3e3ca4e2d9a55016fd80803a5bb7a","datavalue":{"value":{"text":"Automatic Verification of Bossa Scheduler Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178992$427F6D16-875D-4A34-8242-78E07C472B30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49f637f8d345f8539e265b15f4a7d78ce3e7e8c4","datavalue":{"value":"1335.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178992$1C017BB3-6EFD-412C-BB87-0ABC6D9732FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1d10cc39a70417a38ac7235c5283a918f9545f5","datavalue":{"value":{"entity-type":"item","numeric-id":239156,"id":"Q239156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$06806CF0-848B-47E1-B9F0-6E0593DD58D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"924d76138c4a9ca918a0e049d85adde817ca5296","datavalue":{"value":{"entity-type":"item","numeric-id":239157,"id":"Q239157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$7A19F45A-AFAB-4CA4-844D-99825E1C2080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e33e27f9f81d71e5c3574531855566bea284042","datavalue":{"value":{"entity-type":"item","numeric-id":192364,"id":"Q192364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$E1E6FE3A-FF60-4C90-84D4-FF8F71069434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ea6fd3b4ec7992a06fc71cf01941a6406fd956","datavalue":{"value":{"entity-type":"item","numeric-id":192366,"id":"Q192366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$7BF59D5B-B8F5-4CB6-B3A6-2DC0D5901531","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$8CBF1312-508A-42E6-9347-772E2CA60854","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178992$82619CE3-1920-42AE-B124-3567AF299533","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178992$E0526CED-4487-4E4D-89EB-66565BF1C8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178992$EC967EF9-57B3-41AF-B4FB-3E37CF7DC38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178992$186299CE-0C0E-4B6C-A0FF-EC6C515117E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec6bf9c70b72fbca724ebd66b7e6753cddb20199","datavalue":{"value":"6416597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178992$60AA44AE-5BAC-49DB-9FC5-7ADEC5E5057A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0605a1f2800486f9350885e9d3e822d311d76006","datavalue":{"value":"scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178992$F08C8265-281D-4A07-B4DE-FB703979EBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178992$3E82A4CD-A38B-4285-97FB-99A521290C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178992$3314D8C6-D2E1-4213-91E5-DAFFFB8C08AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ace292ae55bbbf18c8de88bb954232e36d923e26","datavalue":{"value":"WS1S","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178992$FB4F67D2-F613-4179-B731-379E145A072C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$CA03CE3F-CF39-4AC1-B8B5-A1D1C26FAF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$E0ADAC0A-6125-4E2D-8E8B-25517CF0371D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce91c9303e62db122d4c0c98d17eb9dbb9274541","datavalue":{"value":{"entity-type":"item","numeric-id":33078,"id":"Q33078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$29928A2A-A5DD-4D6E-A5B5-955624EC7FA1","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":"Q5178992$5D4C922D-65AD-4266-AC24-AAEBC4275AE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f4db206cd5833236acf42b313f15c5d070276c9","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.05.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178992$9D52431D-A266-4248-9C0D-D1DF098CD873","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c76f36872ac13244b720ef67ab636ff8da162114","datavalue":{"value":"W2018225895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178992$4DDBB9CD-7F89-4666-A792-2AFD1BA58279","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$A5970191-993D-4747-BDAF-8596F68AE819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$3788968F-5D42-49B8-AA90-7113D51ACB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$C7BCA23C-2F7A-4148-91FD-48B353DCFC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102071e6e1be9e328c3b0ac38039cf8f54b6bc6c","datavalue":{"value":{"entity-type":"item","numeric-id":2729054,"id":"Q2729054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$6B11EA44-ED47-471F-9590-A83AF35EECF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69726574968741404781ab1dd6b86acc8887068d","datavalue":{"value":{"entity-type":"item","numeric-id":4218939,"id":"Q4218939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$CB6BF481-6A91-48E9-924B-973EE2F762F8","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":"Q5178992$98427CE0-3166-4EEE-A30C-F0D6550BC8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a88000eff7625e3429c794149436b41405d5bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1183477,"id":"Q1183477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$3EE00F3C-CC99-455A-93AB-0084EE074331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde52beecc143da7aa90fe577e5577644f5a9b03","datavalue":{"value":{"entity-type":"item","numeric-id":3997018,"id":"Q3997018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178992$44917353-75A3-4200-BA29-1DBC0B7BA720","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3de30197c6e2b9f81f99a81029deacb9e0364a8a","datavalue":{"value":"Q126235819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178992$A14C75F4-80A2-4E1F-9004-1698FB75114C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be08b74933e78de72c0410ca8cdec277c865d0f8","datavalue":{"value":"10.1016/J.ENTCS.2007.05.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178992$54C02BE5-85AF-478F-9F4D-7E3B949B24E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab2e90cd1e8619de07a29e2be6f31189354b859","datavalue":{"value":{"entity-type":"item","numeric-id":1904642,"id":"Q1904642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af6cc5eb1dd43d25b2ecce9e11444dc599e5962","datavalue":{"value":{"amount":"+0.8047566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178992$0BCD84C2-B32A-446F-ABA6-7A65E9489B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d68dbf2c0578ce93d0a1620d8b3a041780c9ddb","datavalue":{"value":{"entity-type":"item","numeric-id":1879185,"id":"Q1879185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc4f2a4a9ebe4d107c5fe45451f9d7a70259ebe","datavalue":{"value":{"amount":"+0.8044917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178992$3BC4B261-FB88-410B-805E-22327E6A63C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563ef82671cc38ed17d1dfcd29a2f55129791ca0","datavalue":{"value":{"entity-type":"item","numeric-id":2969151,"id":"Q2969151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b1ed540145485393bbd88f8b6956503447a460","datavalue":{"value":{"amount":"+0.8037431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178992$AB27FD60-EFFB-48DD-9C12-59A4ADBCC529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583272114b98919fd7d51e26e070ca76c3b6807d","datavalue":{"value":{"entity-type":"item","numeric-id":4499283,"id":"Q4499283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5e5bd0b6f007b50dfc0396429b1a1283f6fd4c","datavalue":{"value":{"amount":"+0.8012707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178992$B5C42974-359C-4749-8693-CA639F2160D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e031bb9bcda95dd5bd79b77deab6a15a4ea437","datavalue":{"value":{"entity-type":"item","numeric-id":4490726,"id":"Q4490726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d1d26cc91d335a77c13d59841de57cb4fc2739","datavalue":{"value":{"amount":"+0.79841185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178992$958CE522-E5D7-48F2-AF63-1052FE8D9C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0dab15aebde0a981bf588cf769f7ffff92a844","datavalue":{"value":{"entity-type":"item","numeric-id":5137900,"id":"Q5137900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5046234430a0dffa32479bef89a79010110673ae","datavalue":{"value":{"amount":"+0.79784024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178992$277195D1-1B85-42DA-8135-F20D9B7D9E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbfd8dcf5967273fb60329a2298af49471aabe18","datavalue":{"value":{"entity-type":"item","numeric-id":2277847,"id":"Q2277847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c2a06f8660a45a0d9522685891ce855aaef499","datavalue":{"value":{"amount":"+0.7970686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178992$0CDEBFC5-2337-4B60-AD5B-0AC5A36BA91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16894397aa487104aafd25b6101453a0e788ca0","datavalue":{"value":{"entity-type":"item","numeric-id":5000450,"id":"Q5000450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe9210e3d21d919330094a0634154e746a1d5db","datavalue":{"value":{"amount":"+0.7938152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178992$8CEDC6CB-39FF-47AD-ABFE-15BF5741A923","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178992"}}}}}