{"entities":{"Q4130972":{"pageid":6160572,"ns":120,"title":"Item:Q4130972","lastrevid":31138848,"modified":"2024-03-19T13:19:09Z","type":"item","id":"Q4130972","labels":{"en":{"language":"en","value":"Complexity of Synthesizing Inductive Assertions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3558934"}},"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":"Q4130972$4301DFA5-7898-48AE-8EBC-0B156A49B763","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f8a72536144729d13f6b4ac4d4a09ddf82aacfd","datavalue":{"value":{"text":"Complexity of Synthesizing Inductive Assertions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4130972$9800CEC1-255A-49A1-A054-6DBA1B56E5A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8977e514d885bb8b5ef99a81caf6c71762bc900","datavalue":{"value":"0358.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4130972$0ED92A1C-4AA8-4E68-A1C4-A49774B7738A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2496e79f14d8f09ad4f2793a90f20e711d7213d1","datavalue":{"value":"10.1145/322017.322029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4130972$CD6CD397-AABD-415E-A8E3-B11956F52D88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"027c70dd657686f399b4103897e15ec0ca7a53d1","datavalue":{"value":{"entity-type":"item","numeric-id":1218291,"id":"Q1218291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4130972$8CCC4B1C-D780-4AD1-947A-F64A77EDAC1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4130972$AD289724-EF3D-46BB-9578-1562BF6816C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q4130972$0307F5A4-E8C4-4A65-BC64-ED5C4356BC63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4130972$CD303491-4988-4183-A51C-D398DF5FAFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4130972$9087FAD5-EB2A-4AC9-ACD7-2F70A73B9A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4130972$36FFAA95-0AF7-4F9D-9BAD-4F1F1AA16E4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c47d8d1928f649afdfbcd4877d12fb29decbfb95","datavalue":{"value":"3558934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4130972$3E2CFD0E-A9A3-4721-8EAE-4109B2AA9F7A","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":"Q4130972$98D4BBB6-4795-4DA2-B508-FCAAB6F522FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"708c32acb6c6e2da6f1206d918941ee75ee6cf38","datavalue":{"value":"https://doi.org/10.1145/322017.322029","type":"string"},"datatype":"url"},"type":"statement","id":"Q4130972$63F1119D-5F5A-4160-BF0B-CC406326DFF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13bb4fc3014380fdf0f5405c0b7e06868180b572","datavalue":{"value":"W2018537910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4130972$5358F80B-C5AA-46AD-8EC1-267F1FB0D4ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4130972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4130972"}}}}}