{"entities":{"Q7320649":{"pageid":31337575,"ns":120,"title":"Item:Q7320649","lastrevid":105115945,"modified":"2026-09-17T11:22:05Z","type":"item","id":"Q7320649","labels":{"en":{"language":"en","value":"A verified algorithm for deciding pattern completeness with optimal asymptotic complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8247023"}},"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":"Q7320649$DBD224BF-3DA5-4417-8B3A-73D4D058E5EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59621d7a53ddd4c8bdfa6f3aff2160579d3a3a76","datavalue":{"value":{"text":"A verified algorithm for deciding pattern completeness with optimal asymptotic complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7320649$41618C02-BC64-4ADE-A822-523DFF9A2E6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c486690ebc1931988549a1aada926ac126c8d315","datavalue":{"value":"10.1016/J.JLAMP.2026.101129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320649$B7C0FDB4-51E2-4CB6-BD9E-E58F4B21FF31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$9747191F-8254-4A09-B0B8-A858D725C3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fb55f3a9c5499c0144dde6d513c1a285b16f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1648878,"id":"Q1648878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$ABAAE265-317D-46C5-9FF0-675D94C82C85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$7D7F977A-BA0E-4278-97BB-0EC28CC16DA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba7debfa9fdf0040043d7d7d65003e0398bcfdac","datavalue":{"value":{"time":"+2026-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7320649$93E7321E-5DCF-43E6-9967-88D78DB43288","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320649$62F0A09E-D861-40FD-A7A1-985C16B22AE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3c22071c5e94b42e2e0ba771d91d091c88859da","datavalue":{"value":"8247023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320649$33609AFE-D4E0-449E-A0B3-9049C3390037","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":"Q7320649$0AA71662-0D14-432A-8BE4-41FAA4E607C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$FA4C6925-2E34-4F0C-87E2-C292C17A39C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$6E20A730-D556-44E6-8074-8646BDD19167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9350fdea77ab446693cec7c23c38a28a8b56170a","datavalue":{"value":{"entity-type":"item","numeric-id":5369498,"id":"Q5369498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$95814A82-12A8-4E40-B1E9-F34816612D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4098701b77640969d6c5a6c2843a41c1bc5c5110","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$35FB90CB-D491-4DFC-AA6A-38F3634C627E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57cb7ce19da7a8c3d5223412ed1f311d14ff605c","datavalue":{"value":{"entity-type":"item","numeric-id":582891,"id":"Q582891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$39D3797A-3523-43F8-B9A6-96068C94AB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b545e84922746d70096356bb35e502dc298bed20","datavalue":{"value":{"entity-type":"item","numeric-id":2908496,"id":"Q2908496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$61D7863C-B292-4301-8ECA-7BB74BBA8DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ac59a5cde1ab820b7cd49159443fdf381214ea","datavalue":{"value":{"entity-type":"item","numeric-id":420848,"id":"Q420848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$0FC52D53-90F6-435D-9C88-8EF85AA3EF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383b9c89bb68b7c7fd8e835522bbe25b1cb914e3","datavalue":{"value":{"entity-type":"item","numeric-id":2946578,"id":"Q2946578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$4D18AA20-3C60-4721-BECC-309D2EFB03EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0278a622341c2c3ea684f66af68a5b07b0b894","datavalue":{"value":{"entity-type":"item","numeric-id":972425,"id":"Q972425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$89B2E353-1D4C-458B-93E0-068230167111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b11400522d395eca046a008028b7c6f5d9f584","datavalue":{"value":{"entity-type":"item","numeric-id":3776597,"id":"Q3776597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$6C75627A-6120-48ED-A1EF-62246D409DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf8150531dd139e92d199e5424737b99d920576","datavalue":{"value":{"entity-type":"item","numeric-id":3785921,"id":"Q3785921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$3CD4A4DC-B156-45A8-B216-E6F77D4F9677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b6dd845b09766d86352775db28650377d2267f","datavalue":{"value":{"entity-type":"item","numeric-id":2641108,"id":"Q2641108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$6DA17FFE-E665-4A74-8D73-DD765F522F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1899e58ef57f8bd1633f7a1b8b7cf054c8cf99","datavalue":{"value":{"entity-type":"item","numeric-id":6103588,"id":"Q6103588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$64CF3BA9-C4D2-48C7-9316-5F3CC6DA51C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd91d0f75d460b40c4f5e874c6f021488cdb98e","datavalue":{"value":{"entity-type":"item","numeric-id":2060693,"id":"Q2060693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320649$B6D006BB-042E-4DB7-9F07-9DF52B8C0E6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A verified algorithm for deciding pattern completeness with optimal asymptotic complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_verified_algorithm_for_deciding_pattern_completeness_with_optimal_asymptotic_complexity"}}}}}