{"entities":{"Q862861":{"pageid":864709,"ns":120,"title":"Item:Q862861","lastrevid":64917084,"modified":"2026-04-11T23:05:24Z","type":"item","id":"Q862861","labels":{"en":{"language":"en","value":"Question-guided stubborn set methods for state properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118398"}},"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":"Q862861$F532EFAC-B60E-4250-A309-73E6DE1A71B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"345799919d3443d81c33939c39fc6b224b8944b3","datavalue":{"value":{"text":"Question-guided stubborn set methods for state properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862861$52D69B85-C537-4475-8494-54CE24921F40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"305600daf47b45f26340dd6eb064229f17354de8","datavalue":{"value":"1109.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862861$DD67284C-0179-40E3-BFE6-2E431DDA1BEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$76703A18-F1E8-475F-9D6F-EC08CB10A538","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b780548d1931bae4ac5b1caff374698a268a9351","datavalue":{"value":{"time":"+2007-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q862861$2863EC56-C39B-439A-B467-47291B9123E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862861$584C3764-9C8E-48C9-9973-D455EC316544","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7517bcb5571b09e89feb46ad563c85d288f7984","datavalue":{"value":"5118398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862861$093F1940-2A39-4756-8246-B900F56EA61B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"315107c8de33e046f26bc13758a56c21f367c2a2","datavalue":{"value":"State space methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q862861$42A5647C-C63F-4907-A111-30B0498B37A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5770de1136247ba2a4115839b156903245c6e9e","datavalue":{"value":"State explosion problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q862861$37B74C40-16A6-4DD4-B236-530F234D06A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b7fd5d7a676ec9fad7c5499760c12d493fe544d","datavalue":{"value":"Stubborn set methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q862861$17CCBC0D-81FE-4361-B0D6-D2962872ACE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7fcce895ad25de7130eddef7cd01bff84db7674","datavalue":{"value":"Partial-order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q862861$61204F9B-E88E-4EF0-B8B8-CAA7FF31A08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q862861$6454C2A8-FD40-4824-BDCC-924DD41E35E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df3ac8b732cf333e6b12ba0f543377c635e7c488","datavalue":{"value":{"entity-type":"item","numeric-id":1768478,"id":"Q1768478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$C16D8D2A-158E-4B58-B9A4-502F2AC9154C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c7fd26f0a57298ac83aef18f4ab12131e73dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1972350,"id":"Q1972350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$1AA7AF9B-AE5B-40D8-A718-9AB45DB9B7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$73A1F6ED-BD29-4396-BC3E-6ECC9525E6B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6522ca7747c785bf9d644f39dd3e0aca04c1c6aa","datavalue":{"value":{"entity-type":"item","numeric-id":13781,"id":"Q13781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$E5E244DF-7534-4905-A5BE-878ACB68F61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c6b09cd4310712afc76b5350e1fc0b72a6d1df9","datavalue":{"value":{"entity-type":"item","numeric-id":19017,"id":"Q19017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$B5386DF9-8BD3-4CF1-BB1E-2C52B3150DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$4CD1CF7C-8968-415C-9D18-08CB7158033A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$A389B42D-969C-43B6-AB7A-061E732E4603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca6f770bb1191c12b22fb9edfc51e5641f798f63","datavalue":{"value":{"entity-type":"item","numeric-id":16557,"id":"Q16557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$B5CCA6BD-97A8-4B22-8539-988940624361","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":"Q862861$C5AA0531-B60F-4E49-B8C3-7E47CE678774","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42cad3f649f3fcd9e9682943b2ad2ec767502e11","datavalue":{"value":"https://doi.org/10.1007/s10703-006-0006-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q862861$9AD00957-D07A-491F-9722-DDFF400725EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca0897e3e6f29d60cdf42dc4e4d92a52330d7212","datavalue":{"value":"W2076703513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862861$3BD809DC-2D1C-4401-A055-03EC34C7FF5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"829741667be3983b7964ccce80365d24e5dea50f","datavalue":{"value":{"entity-type":"item","numeric-id":5312934,"id":"Q5312934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$46FDAA32-C07D-4ED2-8E79-A089E8DC8A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3930592560f286e8fc0a0ed609e31c9f91b10f16","datavalue":{"value":{"entity-type":"item","numeric-id":5493237,"id":"Q5493237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$E2A0D285-51D8-439A-90A2-99D011160BF7","rank":"normal"},{"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":"Q862861$EFD9513E-513E-4765-9373-23EC72E2C68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd325ed68a6335c3158303131fa38fcb65823a1","datavalue":{"value":{"entity-type":"item","numeric-id":1856177,"id":"Q1856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$BA5C4277-3BF2-47F2-A4DB-E0FC292AC633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0346c3fe76372f13cf425f5501025336a40ef656","datavalue":{"value":{"entity-type":"item","numeric-id":4247286,"id":"Q4247286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$AEDAF84F-7D7B-4C6E-BC5B-18BF66559C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$45662294-96D8-4C13-99BF-D8D457D78A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5e3e4fe96435b17b55d9b31d1a0b25e8e859bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$B7B23159-F0A4-4993-96B2-C015CFFAA7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0262c7ca9d46cfb4cf3512f2a0333529706ee62","datavalue":{"value":{"entity-type":"item","numeric-id":3684121,"id":"Q3684121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$15B734F6-6EF7-4B68-937F-EE876191E1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$9E59EE6C-2352-44C1-8FBA-C49F7B003321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a7e1bcc00862ea527585b878fe125744afbed0","datavalue":{"value":{"entity-type":"item","numeric-id":5949489,"id":"Q5949489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$B1BD5464-D2E4-40EB-B11C-6AFF129E67B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8db7047df812adad05325fa3f592bdbae22118d9","datavalue":{"value":{"entity-type":"item","numeric-id":2766568,"id":"Q2766568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$5F335485-357D-4433-BF9E-8FC71E7A0A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604d18bd5db33b46dd0ebffff25aace1ee6c7166","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$9CC81CF3-CFD1-4940-BC51-1E637178AF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$ACDF8BBF-B2F3-4C1E-B9FC-3DF713550F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$66C36981-FE24-49CA-A3C7-84C9955EB103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363ff06b747cc0d1f525d4ca72a6cf12fb4d0d6d","datavalue":{"value":{"entity-type":"item","numeric-id":1083212,"id":"Q1083212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$6FFD361E-9E72-4A2D-A3F7-83C090FA0A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62e1d1356375b0666384d5e241c31f12cea0833","datavalue":{"value":{"entity-type":"item","numeric-id":2766586,"id":"Q2766586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$D0512D29-0068-48D3-A9E3-0D7FBACD69E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$2F105C09-C9AC-47F0-BE18-389FAA5F901E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7557e2d89bfe8667fd8728b0beea8091e7f355","datavalue":{"value":{"entity-type":"item","numeric-id":4353636,"id":"Q4353636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$D23A598B-A33C-4174-B66A-CD58DF1AA131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862861$BE67B15C-5BB3-4523-B5EC-FDBEC22E49EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff7233f3622ba5eaa7f826d67fc974af5e59f8ba","datavalue":{"value":"10.1007/S10703-006-0006-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862861$06945393-804C-4392-88A5-B0AF5E39C773","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79b29746993a3c766efe29dbc02b0bc5760b34a","datavalue":{"value":{"entity-type":"item","numeric-id":2766568,"id":"Q2766568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a916128d0b303523d81123bdfdeca391b3c9847","datavalue":{"value":{"amount":"+0.9116109013557434","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":"Q862861$B1FE7AC3-A898-46E2-9C5C-33FC72ECD629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2cdb46fd67f0ee69260a41260804338a6e68b0","datavalue":{"value":{"entity-type":"item","numeric-id":4239305,"id":"Q4239305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523208abf71d25cfe4300d82da5a858b4ca9a963","datavalue":{"value":{"amount":"+0.8374334573745728","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":"Q862861$D9E624D9-2190-4276-95C1-1E829D4C0E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"028e3c660f5ed9512467b98aafec24c95689b560","datavalue":{"value":{"entity-type":"item","numeric-id":6487389,"id":"Q6487389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5860244fe54e8e00db073cfbe67a96d7b94dc3c","datavalue":{"value":{"amount":"+0.8331208825111389","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":"Q862861$72D85020-E285-44A7-9F44-7BA1EBC68245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de4e502d7c3ba3e99d0891f471f671296cd5ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4507831,"id":"Q4507831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf3000ce784da3a95b2ef2a97041d07a352cabde","datavalue":{"value":{"amount":"+0.8310801982879639","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":"Q862861$174B1DBA-117C-4C04-A851-B3006F3C4EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f04990e0db6c9aeff1abc0d16d8e9a08477e183f","datavalue":{"value":{"entity-type":"item","numeric-id":1774568,"id":"Q1774568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b76c1820f4dd355c9ce612f1e22933c63f265d8","datavalue":{"value":{"amount":"+0.8263121247291565","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":"Q862861$528E95CF-CB4C-43A2-BA22-4EC8A9BF30F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Question-guided stubborn set methods for state properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Question-guided_stubborn_set_methods_for_state_properties"}}}}}