{"entities":{"Q4199578":{"pageid":6229179,"ns":120,"title":"Item:Q4199578","lastrevid":28423062,"modified":"2024-03-05T13:44:05Z","type":"item","id":"Q4199578","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3640922"}},"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":"Q4199578$CD20526A-4201-4F12-9E61-91E050308300","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6628c65512e5ae08cc6c5c44901c6b36109a7d80","datavalue":{"value":"0412.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199578$C954FB93-7A24-4B0A-BE51-576DA9ECB4E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4199578$1D9500DD-856D-4DAB-9B3C-12EE18501AC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199578$2CF3762E-42F4-4C5B-BD07-1CE3A313E57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199578$756173AD-9FC4-4DD1-88AA-B22FE163FF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199578$9052C167-48E0-430A-9775-FE5983AC3D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199578$9A93B146-83E6-4A40-9E28-F9F2A7659042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199578$BE185B2A-B316-42DB-A3FA-F014809ABCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199578$CC7D7302-0B43-46F3-9324-9CF080807E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199578$5CCFB341-2B6B-4CE7-BDB0-522AA0935A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199578$FAA89FEA-5CCA-40A4-BE16-DF72A0631E69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e50b1f4de2460d7f94c3bec8a3e9ccc3877d5eb","datavalue":{"value":"3640922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199578$F474941E-70F4-41CA-BD7D-50009A493E38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$74D182C4-BD4F-4099-A2CA-4EED78299B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1e42114fbde434dc871095d79475ea8b9be3053","datavalue":{"value":"Data bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$92CED760-B0BB-442F-8A2D-6ECCD1D36148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$C44DCE14-A222-4DF0-829E-8AD21917799D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$BC0F7246-5C6C-4873-B77A-C62446E134A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dbef76095abddba56f42b5e5900b5ea8fafc029","datavalue":{"value":"Toulouse","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$F8830B50-6B9F-4614-ABF4-1017CC7E29EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55f4aac1e9052f8adcfa5fdbf7a3ce374766f88d","datavalue":{"value":"proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$4E5EDF1D-9766-405D-BEB1-B9FBFC53001C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$1D204935-FC15-4F97-95D9-C27071C76EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$387CC9CE-9A26-4622-A2CA-3D1879941648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7974bf6e122f768f12aaa4e98003fae9a379c6d","datavalue":{"value":"relational data base","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$A75C616C-9F2A-4F93-BF37-50ED7B8ACC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$23745175-F5CB-4CE1-BBE2-437D9DDCC975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$1242665B-8733-4F8B-ACCD-8B0348311532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79357909a78baf44e3cff111a72e55c144928c06","datavalue":{"value":"formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$DF437ADA-85A4-4B8E-9C93-6A5233C4381C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d05dbd44247f2ecd01f793ea98b6e92262812398","datavalue":{"value":"advanced exposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$D5958650-17A5-4012-8F6F-742312F52081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca22d01540fc11e49915224df526a4cff66dc012","datavalue":{"value":"question answering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$F1E05654-E73A-4FD0-AF92-374F88DC9253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6f648bd1eeb66cc548d9608d64c3a3e1ea7e29","datavalue":{"value":"formal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$A029C1CB-9D59-4DB2-AF6D-5FD316125D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3d7719ceb0f3a7a5d5134d0253c56aafae6218f","datavalue":{"value":"knowledge representation and deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$C947D369-815C-4FEA-9197-1FC1DB81B8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf83ae4f467b2bdaa4f6d62518a4d248e92d1aca","datavalue":{"value":"negative information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$759AFDF5-C5B7-4172-83D1-4AD32354C75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72b12f3e144a9dedec59d9c05d4dd890d9833cfa","datavalue":{"value":"data base integrity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$8642B9B1-CF49-4B5A-B41E-A47EA934E5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0052dbb998ade7d726f0c0b86e4baadd7e346db9","datavalue":{"value":"query languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199578$9AB365D1-5F0F-4C1F-BEEB-A5B3C58899CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4199578$83354E75-750B-4F22-94FA-8CDFD2AE11B2","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":"Q4199578$CC56C935-F31B-4F8A-8C14-1D6CEDA9E1A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4199578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4199578"}}}}}