{"entities":{"Q4773689":{"pageid":6803269,"ns":120,"title":"Item:Q4773689","lastrevid":74449152,"modified":"2026-04-14T22:35:58Z","type":"item","id":"Q4773689","labels":{"en":{"language":"en","value":"Algebraic decision procedures for local testability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3450177"}},"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":"Q4773689$AD902652-030A-469C-8E2C-109413D7879D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a70abdc7f2668a7778b951261a6e67a52823916","datavalue":{"value":{"text":"Algebraic decision procedures for local testability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4773689$51CAFD1F-3432-4DB4-A52E-F75C0D450707","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2867e811f28590171c1b694ffc1a5e086ff7800c","datavalue":{"value":"0287.02022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773689$7AA8789F-AE34-433B-8F6B-A2D76954C6C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da61fb9a9eabfe833e7b07a4ffa5a5aeef2e4a50","datavalue":{"value":"10.1007/BF01761708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773689$0C8EF318-B6DD-4D8B-8779-70E7731A18DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d16922eb7ed4824225f324fac9345cfe633d1fb3","datavalue":{"value":{"entity-type":"item","numeric-id":211674,"id":"Q211674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4773689$00EFC8BC-9D2A-4F4F-990D-6DBE82AE8A1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4773689$D069D68F-83B9-482A-9875-A164FFF50AE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4773689$06000ABB-9671-471F-AE56-0B98151F264B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773689$21D7FB06-8D3F-4270-A678-1A12013777A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773689$725FD908-539F-43A2-BED8-FA07D70DCCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773689$BA84A1D8-E35D-49A6-91A5-FE2FA3C6982C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ed95832502a74ac41c4e6813715f1bd1ba90339","datavalue":{"value":"3450177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773689$7783C490-6F40-47E0-B656-941725F78206","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":"Q4773689$72E0AEC2-8DC7-4C19-B890-6D1583AF1453","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4a70c52a9128c6f1ae4ee3e196ec5c806b0193","datavalue":{"value":{"entity-type":"item","numeric-id":2558849,"id":"Q2558849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4773689$5E09EC8C-8E13-4BC5-8BA1-CCAD5901DF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e23bd51a5e1a4df4224fe69471a24cd640168e7","datavalue":{"value":{"entity-type":"item","numeric-id":5540449,"id":"Q5540449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4773689$0DB58651-8F70-4D62-9F3F-2F26A18CA223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd78746c4eeefd396eb2e07511da40c1156abb0","datavalue":{"value":{"entity-type":"item","numeric-id":2554236,"id":"Q2554236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4773689$C3080530-AAE0-4A1A-8D27-089A9FD5AA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8198830df5a14521882e1742cacb78b2b1a73c21","datavalue":{"value":{"entity-type":"item","numeric-id":2264860,"id":"Q2264860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4773689$1A77B9ED-8DF9-460F-AD17-02F00612AC4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic decision procedures for local testability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_decision_procedures_for_local_testability"}}}}}