{"entities":{"Q2848663":{"pageid":2859383,"ns":120,"title":"Item:Q2848663","lastrevid":79757153,"modified":"2026-05-06T14:38:34Z","type":"item","id":"Q2848663","labels":{"en":{"language":"en","value":"Distributed symbolic bounded property checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212115"}},"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":"Q2848663$88E1E57C-6B20-4D94-840A-01E74FB57852","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b746fef5b800ef4eaa00cace8c9dfc89bc836b3e","datavalue":{"value":"1272.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848663$990B5598-5F51-4186-A567-B6D10C821D5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc41f372ffa8f816ded225fa20efeed65f157675","datavalue":{"value":{"entity-type":"item","numeric-id":2848660,"id":"Q2848660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848663$CF973F3B-1A46-4AE7-91D1-1C927A566BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc6b8ed9bbff19bb4461f04a5e1fad54430896c","datavalue":{"value":{"entity-type":"item","numeric-id":2848661,"id":"Q2848661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848663$7942F799-2D62-4741-A938-C63D725F5FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc9b39cc928e835a9815943830704d52df3f9b49","datavalue":{"value":{"entity-type":"item","numeric-id":2848662,"id":"Q2848662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848663$88A2FA57-300C-4D2A-8E3A-8EE94883BC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf54f32cfcae01899300594140c48c964e8db57d","datavalue":{"value":{"entity-type":"item","numeric-id":1425002,"id":"Q1425002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848663$FB3DF67E-33E0-4B0D-B4E2-B4918180F63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2841e249a1987afe7305ac65d5d42ada58d287b8","datavalue":{"value":{"entity-type":"item","numeric-id":1334904,"id":"Q1334904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848663$4FA8C5F7-DEE2-44C7-A6A5-C43EC18DCD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a900998de6493c03901060510dd2c54dfc05442","datavalue":{"value":{"entity-type":"item","numeric-id":2502794,"id":"Q2502794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848663$C1A631A0-984E-44F6-A58E-E67C048FBC94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848663$97368879-65E8-42EC-AD3C-CDCA222DE21C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc98230b74e57466163ed7512528ea1a8577e01a","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610600079X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848663$7E23071B-B4C4-4FDD-B255-56B41D42D1FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848663$8C4006C8-8C79-49A7-95DA-E1958D8428CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848663$3D3D1BF7-E248-4F89-812A-1D39B01F561D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ea1be9577cd2f0a83a543eb8a0e4c810938431c","datavalue":{"value":"6212115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848663$DA6AA308-5583-498C-82FB-32B02DC49FD4","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":"Q2848663$0CCD7F1C-8699-42F6-8AD3-FF70CC7B393A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c371e091b2b246ba79ed2084e8c494546c8d2ec5","datavalue":{"value":{"entity-type":"item","numeric-id":2845491,"id":"Q2845491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e193bbb84d8aa15fd0cf4ec89f7661e7910c020c","datavalue":{"value":{"amount":"+0.88259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848663$469BBC7C-055C-41BB-BA76-CE9E56DF7EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00dfcbdbeed785e2c343471262358787eff0c174","datavalue":{"value":{"entity-type":"item","numeric-id":4553260,"id":"Q4553260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dea3f5feb6d83abba35fc4694ada9c3df3e82bc","datavalue":{"value":{"amount":"+0.8786924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848663$C5B7D7A2-10F0-4145-82F6-CABEE963314C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c68ceb57f86d95f858aae1b625068f96622e518","datavalue":{"value":{"entity-type":"item","numeric-id":816198,"id":"Q816198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dea3f5feb6d83abba35fc4694ada9c3df3e82bc","datavalue":{"value":{"amount":"+0.8786924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848663$60C441E6-C2CA-430B-8C22-1A59A2C25466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066f9ab3be44cd6da3712c322b2d554b606e63b8","datavalue":{"value":{"entity-type":"item","numeric-id":3612360,"id":"Q3612360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb91d0dfa252ba72b1dd81e7b4a592e39a27c9e5","datavalue":{"value":{"amount":"+0.8772936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848663$B1BA6FE3-0F8D-41D3-8DBC-133CCE3BECCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71b6b5cc90bb67a92210e8685c10448d05b24f0","datavalue":{"value":{"entity-type":"item","numeric-id":5897077,"id":"Q5897077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46fb62709e503256e67936cfdd8f8ce2e3394b93","datavalue":{"value":{"amount":"+0.8748618","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848663$E4D19692-45FF-410F-8F90-5266C6E45149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da28326d8fa0e5b206d3557bdcdab8bd1f6c8142","datavalue":{"value":{"entity-type":"item","numeric-id":2498278,"id":"Q2498278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2d3bd62e3f534437d9223fad0d8628a473eba5","datavalue":{"value":{"amount":"+0.86555755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848663$6E889A4A-44B2-4349-8571-D72DCA11EC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb1142d2124ba7f380266151b0a0a31c186624d","datavalue":{"value":{"entity-type":"item","numeric-id":6166689,"id":"Q6166689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9b2d42842b3f4f7cfdf64976861d7368c3b6e1","datavalue":{"value":{"amount":"+0.86418164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848663$2AD4E394-AD2D-440A-9699-32941584C079","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b64145353953c17dc4b0278722753daf613f6a8","datavalue":{"value":{"text":"Distributed symbolic bounded property checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848663$D9171E57-593F-4581-B406-AE192987584B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed symbolic bounded property checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_symbolic_bounded_property_checking"}}}}}