{"entities":{"Q4744264":{"pageid":6773844,"ns":120,"title":"Item:Q4744264","lastrevid":28882184,"modified":"2024-03-05T16:10:15Z","type":"item","id":"Q4744264","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3799636"}},"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":"Q4744264$CA0AD905-814C-4E39-AF93-44CF2151757B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7517056bfb375fabcd3ad2bb7751e79e226af954","datavalue":{"value":"0507.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4744264$CEA2E9A4-4273-433B-9F1F-7F3DEF07375A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4744264$613A6A1D-96BB-444A-97DC-BB99316BAB94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q4744264$258FA7C6-8D41-45F9-8388-07262E4C423A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4744264$B3C03FDA-DD86-4205-9271-10320B93996F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4744264$FE6BB7AC-8A6C-4AD9-8544-4C6F12E50180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4744264$C4A0756A-47D3-4845-AE27-F701951CB46B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"161da91166af70649593aa6afc4bf02b803006f5","datavalue":{"value":"3799636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4744264$A69633CD-9768-44DD-BD06-1275BBA1AABD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4744264$50ECF7D5-39E4-419F-A10B-2468FB83B6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834c45d526445b63ede129bf0252d3b47bed13e5","datavalue":{"value":"NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4744264$999C2B11-A696-48E0-AB00-C24678495305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b187c4653e8d6f7975e2618be03cf7aed5aac51","datavalue":{"value":"circuit size","type":"string"},"datatype":"string"},"type":"statement","id":"Q4744264$5B17D436-69B7-45B9-8A79-0304D6D1417D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214c3f3e09276ae5f2bcb6823802ced29340e205","datavalue":{"value":"circuit depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q4744264$2D084D3E-DCE8-409A-90C2-DE372039386D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f258102bc3e68049de088dfa65b358f7e9939d82","datavalue":{"value":"uniform and non- uniform complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4744264$5B4ADCDF-CC5B-468A-AC2B-14B7989C0C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2efd6ca2e632b6ca823bc98fefd73c07a1f518da","datavalue":{"value":"transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4744264$6A680F9A-0E8D-4253-8ECE-AA0AE4E6B987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4744264$B8F3DEF4-3DF0-4976-952A-70A3D144C846","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":"Q4744264$45BF30A8-190E-4E26-829C-856852E4C334","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4744264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4744264"}}}}}