{"entities":{"Q1346650":{"pageid":1357389,"ns":120,"title":"Item:Q1346650","lastrevid":68661891,"modified":"2026-04-13T01:16:08Z","type":"item","id":"Q1346650","labels":{"en":{"language":"en","value":"A technique of state space search based on unfolding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741354"}},"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":"Q1346650$EEDDF68F-EFF3-4125-AFF3-B1E39C7FB231","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af29730113ccd8920a5a2f1e9084142944f089f2","datavalue":{"value":{"text":"A technique of state space search based on unfolding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346650$BAF6E1B6-E747-4392-931B-D3D734E328CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"790ba00c61ea855a48817b027f5afe8a7c4df60a","datavalue":{"value":"0829.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346650$302234E6-258E-4ADC-874A-D092DF94D5CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb43dc56d4143b3b7ec1c27a50c5b6a6bde983ca","datavalue":{"value":"10.1007/BF01384314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346650$92964F53-C278-4E27-BBF6-24DD620DCAD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346650$24B9FBA7-60CA-4C5D-ACA5-D1FB7ADAE315","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":"Q1346650$1169222F-675D-48B2-B64C-16FFE87D7621","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c22fff5067af428041487b6a008ee6b0a5e2859","datavalue":{"value":{"time":"+1995-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346650$75781451-0200-4E50-8941-C0380E400033","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346650$0D9E8130-6114-4752-BFE6-009762E7C942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346650$C1FCD823-D7A2-4B76-982F-5E0C220A6DE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"403850d8c32d8253ad1cf12dfc3a17e505300819","datavalue":{"value":"741354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346650$A8E4F8BD-6A2B-4A88-B284-4D0770EB3751","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346650$E89C234D-5236-4521-A508-8D30407C79C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346650$BD7BA439-E57D-45B9-BC6F-5FC259EDDC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0c7481e3c5c308fc47ea6e648bd33e7ea295f7","datavalue":{"value":"searching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346650$5E90BA5A-CF33-4D7E-99FE-C5F288BDE9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346650$34963E58-198E-47D8-B82F-CBDFE0043AC3","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":"Q1346650$8DAF5493-FC4B-4896-8AC3-F8CB6712958A","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":"Q1346650$287FE21F-8FC9-4350-8DD6-7AEC80985BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71de609ff45fda59e00d0de57593961b4ccdadc","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346650$59E184F1-2EB9-477F-8B31-ED575226A304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346650$3B6C181C-A2C9-4FA6-917C-BCD2DB680909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346650$38A60690-5BC9-4537-A999-09A1C87F1D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907a199914fbf0fe836e00012128d2e579f08c25","datavalue":{"value":{"entity-type":"item","numeric-id":4037086,"id":"Q4037086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346650$3E43DC22-5D38-4C20-B2F1-461F3B7B8D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e83259e578154537ff65896b57deb09fbea84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4037087,"id":"Q4037087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346650$561CC2E9-E598-42BE-A661-CCFCD0B1E47C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56391f0ca139a8a89a179f71c2e265e5229b10e4","datavalue":{"value":"https://doi.org/10.1007/bf01384314","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346650$A6CAD3D9-945A-4F08-B6CB-8DB590DF4C3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b13583b5690842dc33f5aab46a085cde56b5967f","datavalue":{"value":"W1965237160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346650$3D8D7A39-C09C-45DE-9C5B-3D2C73DD7B82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f90e5e088879ed480e77236ddab5b457056300","datavalue":{"value":{"entity-type":"item","numeric-id":2754109,"id":"Q2754109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a282be01210ed196a7214ef49a19cd835f5b78","datavalue":{"value":{"amount":"+0.8528304696083069","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":"Q1346650$CF9FB955-1E55-484A-8284-4EADE816A006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7780b3fef7abd3a3106e9d5b46f1fbc69014f0e1","datavalue":{"value":{"entity-type":"item","numeric-id":4633172,"id":"Q4633172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93694e8bc64de682007e5bf41ba882ad6740a055","datavalue":{"value":{"amount":"+0.8324353098869324","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":"Q1346650$6F3A935A-55A1-4252-931A-72A15E4DCB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf0e6817668d03f8b8c4fcdfc70c1c6d8fd7c22","datavalue":{"value":{"entity-type":"item","numeric-id":2215072,"id":"Q2215072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0d5df3bc96bbb92bc6b3081100771ba9adf057","datavalue":{"value":{"amount":"+0.8273295760154724","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":"Q1346650$BB9609E3-7094-4418-89E7-DDD9D97137F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4602e89f02bdbb21ca9314b5250489670139c048","datavalue":{"value":{"entity-type":"item","numeric-id":4791845,"id":"Q4791845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8816a25952ba3b4e4c5a0260f91f238968bbac6d","datavalue":{"value":{"amount":"+0.8268837332725525","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":"Q1346650$90635BF8-7A7D-493E-8E04-95A6009933CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed6b7f75ff5f00141365db6232768f7f35fb5c4","datavalue":{"value":{"entity-type":"item","numeric-id":5111631,"id":"Q5111631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64e6782cf625c2b991f86322bb0474f4f084998","datavalue":{"value":{"amount":"+0.8235045075416565","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":"Q1346650$BEA05EF8-BE8F-4C5D-B187-8A88BC7BB9BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A technique of state space search based on unfolding","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_technique_of_state_space_search_based_on_unfolding"}}}}}