{"entities":{"Q5429306":{"pageid":7458880,"ns":120,"title":"Item:Q5429306","lastrevid":50224634,"modified":"2026-01-13T14:00:33Z","type":"item","id":"Q5429306","labels":{"en":{"language":"en","value":"Software Model Checking: Searching for Computations in the Abstract or the Concrete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216186"}},"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":"Q5429306$BE59387B-069D-4D83-88C4-127D652A4F58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed81b96fcabb6c916e0b0ddc340397400b53924f","datavalue":{"value":{"text":"Software Model Checking: Searching for Computations in the Abstract or the Concrete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429306$C068D9AD-52A0-4F08-9005-0DEF0962BE26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb3a7dfa8c9fbd2bdc80840b940fa6f83e539397","datavalue":{"value":"1137.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429306$7C737B5D-D663-4886-B765-0D8A926887D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74bbe32d3076e35b04af53f4ebfe1324f55e954d","datavalue":{"value":"10.1007/11589976_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429306$5433E42F-108E-4E55-BE6B-F8690BE4D0FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"027a8d6ba912dce3a5dee63eade531c0ba4f4a36","datavalue":{"value":{"entity-type":"item","numeric-id":1327382,"id":"Q1327382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429306$0594536F-E4D8-425B-81B4-1D3C6FE73B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cfdd5324f28bd93fdc2104d928c33c15fc55056","datavalue":{"value":{"entity-type":"item","numeric-id":815003,"id":"Q815003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429306$0422EC13-B9E0-498A-A6ED-6B1F57CBBFE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429306$6C5B6CCB-E95A-414B-B04B-0EDB06DBF2B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429306$DC5A2CBA-762E-44A1-BA46-B0D61A9C6D13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429306$001A0562-4773-4968-85F1-B888D921DAE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7527e12dcbbf0c00820e8b5306633a0f4bceb0f6","datavalue":{"value":"5216186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429306$C4D571C2-5EC9-4D29-9497-CB765BD41DA8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429306$E26303DC-1DA2-4564-81FB-CB4BF273877C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429306$81DE6BA7-5908-467F-B3D6-9DACE48AE0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429306$2CEEA73D-90A1-4246-8E6E-4972D29D56C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef6691eca85db5ffd06ecca294bd45511b25270","datavalue":{"value":{"entity-type":"item","numeric-id":22026,"id":"Q22026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429306$5B077ACA-981A-4BD3-BB14-403FCE7C11DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2592836199d8c83558377103476ed4b6729ff0df","datavalue":{"value":{"entity-type":"item","numeric-id":14036,"id":"Q14036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429306$6255B5BE-1F6F-4921-9BB1-1788983427AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429306$0E0B5321-F82B-4FEA-AB5C-504C281A3B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80eea1ed90a1a156489af434c921fb240a48ae8d","datavalue":{"value":{"entity-type":"item","numeric-id":19308,"id":"Q19308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429306$1082D098-E1D5-4D42-9FE2-8D85422320CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429306$E9020328-272D-49EE-A95E-ABB35F9BBEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429306$D7F2312A-E1D6-4215-AD5A-97EA03502706","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":"Q5429306$BEBBC0FD-4385-4204-A61D-5C6904BA9D49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58caecdc631f4e4a4aaf5f30b136c8c9732456fa","datavalue":{"value":"https://doi.org/10.1007/11589976_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429306$34D045F3-6228-4D78-B878-46B19B118671","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a32ea106b9168da23c8355c307d5ab4e6361305c","datavalue":{"value":"W200765967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429306$4E3B5F03-D31F-4918-B912-9837FBF64665","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04684fab3728a8263fa621eedcab8aaeef461abf","datavalue":{"value":{"amount":"+0.7926560640335083","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":"Q5429306$77521FA4-644E-4006-9AEA-D20F72A2D778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc70c595c3ae336c921ab3e9c4df75b66823066a","datavalue":{"value":{"entity-type":"item","numeric-id":4417809,"id":"Q4417809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c403219e7173379b004d45850c018519f795178","datavalue":{"value":{"amount":"+0.7926559448242188","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":"Q5429306$F0759F48-1A01-428E-B1C1-24A3E7AF2E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609db31109f29daf5f20500cb6e669dae387d5e6","datavalue":{"value":{"entity-type":"item","numeric-id":5902361,"id":"Q5902361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea02ff19ad51adcff71be2d355490c66dbe105e9","datavalue":{"value":{"amount":"+0.7839608192443848","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":"Q5429306$8FB07914-7D66-4F04-8C3A-BCA1902D9659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa7e4199109f9e988017cb62b2ffa893fb4b904","datavalue":{"value":{"entity-type":"item","numeric-id":3176377,"id":"Q3176377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ad222f78b4f83caaf94056ad17936d072100e8","datavalue":{"value":{"amount":"+0.7686273455619812","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":"Q5429306$575FF26F-7957-4BA8-8839-B54C5B1B68D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f6526014f06fd5015e4cb9da7f84a067ffd0ff","datavalue":{"value":{"amount":"+0.7684517502784729","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":"Q5429306$40880F5D-64B1-4577-BEAC-E8AD8CC2C990","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429306"}}}}}